Rewrok naive value iteration

moves-rwth · Nov 2, 2024 · 846547f · 846547f
1 parent 7e31690
commit 846547f
Show file tree

Hide file tree

Showing 9 changed files with 53,775 additions and 55,262 deletions.
diff --git a/docs/getting_started/die.html b/docs/getting_started/die.html
@@ -1,6 +1,6 @@
 
           <iframe
-                id="dieeQbbbtTbpv"
+                id="dietcXbFyTOJQ"
                 width="820"
                 height="620"
                 frameborder="0"
@@ -15,18 +15,18 @@
     &gt;&lt;/script&gt;
     &lt;style type=&quot;text/css&quot;&gt;
       #mynetwork {
-
+        
         width: 800px;
         height: 600px;
         border: 1px solid lightgray;
-
+        
       }
     &lt;/style&gt;
   &lt;/head&gt;
   &lt;body&gt;
     &lt;div id=&quot;mynetwork&quot;&gt;&lt;/div&gt;
     &lt;script type=&quot;text/javascript&quot;&gt;
-
+        
         var nodes = new vis.DataSet([{ id: 0, label: `init`, group: &quot;states&quot; },
 { id: 1, label: `rolled1`, group: &quot;states&quot; },
 { id: 2, label: `rolled2`, group: &quot;states&quot; },
@@ -203,4 +203,4 @@
 "
                 border:none !important;
                 allowfullscreen webkitallowfullscreen mozallowfullscreen
-          ></iframe>
+          ></iframe>