<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/">
  <channel>
    <title>Epsilon-Optimality on Cognaptus</title>
    <link>https://cognaptus.com/tags/epsilon-optimality/</link>
    <description>Recent content in Epsilon-Optimality on Cognaptus</description>
    <generator>Hugo -- 0.145.0</generator>
    <language>en-us</language>
    <lastBuildDate>Mon, 24 Aug 2026 00:00:00 +0000</lastBuildDate>
    <atom:link href="https://cognaptus.com/tags/epsilon-optimality/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>Compress the Policy, Verify the Loss: dtControl 2&#43;ε Turns Approximation into an Auditable Budget</title>
      <link>https://cognaptus.com/blog/2026-08-24-compress-the-policy-verify-the-loss-dtcontrol-2-turns-approximation-into-an-auditable-budget/</link>
      <pubDate>Mon, 24 Aug 2026 00:00:00 +0000</pubDate>
      <guid>https://cognaptus.com/blog/2026-08-24-compress-the-policy-verify-the-loss-dtcontrol-2-turns-approximation-into-an-auditable-budget/</guid>
      <description>dtControl 2&#43;ε shows how model checking can turn bounded performance loss into substantially simpler controller representations without leaving approximation quality to heuristic judgment.</description>
    </item>
  </channel>
</rss>
