moves-rwth
diff --git a/‎docs/1-introduction/1-Introduction.ipynb
Lines changed: 1203 additions & 46 deletions b/‎docs/1-introduction/1-Introduction.ipynb
Lines changed: 1203 additions & 46 deletions
diff --git a/‎docs/1-introduction/2-1-Building-dtmcs.ipynb
Lines changed: 1754 additions & 64 deletions b/‎docs/1-introduction/2-1-Building-dtmcs.ipynb
Lines changed: 1754 additions & 64 deletions
diff --git a/‎docs/1-introduction/2-2-Building-mdps.ipynb
Lines changed: 1754 additions & 71 deletions b/‎docs/1-introduction/2-2-Building-mdps.ipynb
Lines changed: 1754 additions & 71 deletions
diff --git a/‎docs/1-introduction/2-3-Building-ctmcs.ipynb
Lines changed: 1204 additions & 47 deletions b/‎docs/1-introduction/2-3-Building-ctmcs.ipynb
Lines changed: 1204 additions & 47 deletions
diff --git a/‎docs/1-introduction/2-4-Building-pomdps.ipynb
Lines changed: 1756 additions & 73 deletions b/‎docs/1-introduction/2-4-Building-pomdps.ipynb
Lines changed: 1756 additions & 73 deletions
diff --git a/‎docs/1-introduction/3-Model-visualization.ipynb
Lines changed: 1219 additions & 48 deletions b/‎docs/1-introduction/3-Model-visualization.ipynb
Lines changed: 1219 additions & 48 deletions
diff --git a/‎docs/1-introduction/4-Strompy-conversion.ipynb
Lines changed: 1234 additions & 29 deletions b/‎docs/1-introduction/4-Strompy-conversion.ipynb
Lines changed: 1234 additions & 29 deletions
diff --git a/‎docs/1-introduction/6-Powerful-model-checking.ipynb
Lines changed: 910 additions & 643 deletions b/‎docs/1-introduction/6-Powerful-model-checking.ipynb
Lines changed: 910 additions & 643 deletions
diff --git a/‎docs/1-introduction/7-Communication-server-remark.ipynb
Lines changed: 674 additions & 2 deletions b/‎docs/1-introduction/7-Communication-server-remark.ipynb
Lines changed: 674 additions & 2 deletions
diff --git a/‎docs/1-introduction/html_output.html
Lines changed: 5 additions & 5 deletions b/‎docs/1-introduction/html_output.html
Lines changed: 5 additions & 5 deletions
@@ -8,18 +8,18 @@
       src="https://unpkg.com/vis-network/standalone/umd/vis-network.min.js"
     ></script>
     <style type="text/css">
-      #modelmCJxfYMzqG {
+      #modelolhFlnPJOK {
         width: 800px;
         height: 600px;
         border: 1px solid lightgray;
       }
     </style>
   </head>
   <body>
-    <div id="modelmCJxfYMzqG"></div>
+    <div id="modelolhFlnPJOK"></div>
     <script type="text/javascript">
 
-class NetworkWrapper_modelmCJxfYMzqG{//js
+class NetworkWrapper_modelolhFlnPJOK{//js
   constructor(nodes, edges, options, container) {
     this.nodes = nodes;
     this.edges = edges;
@@ -235,8 +235,8 @@
   "physics": true,
   "autoResize": true
 };
-    var container_local = document.getElementById("modelmCJxfYMzqG");
-    var nw_modelmCJxfYMzqG = new NetworkWrapper_modelmCJxfYMzqG(nodes_local, edges_local, options_local, container_local)
+    var container_local = document.getElementById("modelolhFlnPJOK");
+    var nw_modelolhFlnPJOK = new NetworkWrapper_modelolhFlnPJOK(nodes_local, edges_local, options_local, container_local)
 
     </script>
   </body>