diff --git a/docs/getting_started/die.html b/docs/getting_started/die.html
index 7243e1d..2111815 100644
--- a/docs/getting_started/die.html
+++ b/docs/getting_started/die.html
@@ -1,6 +1,6 @@
 
           <iframe
-                id="dieeQbbbtTbpv"
+                id="diezvSItfhbCB"
                 width="820"
                 height="620"
                 frameborder="0"
diff --git a/docs/getting_started/die.ipynb b/docs/getting_started/die.ipynb
index 5ce68a6..7695724 100644
--- a/docs/getting_started/die.ipynb
+++ b/docs/getting_started/die.ipynb
@@ -9,7 +9,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 6,
+      "execution_count": 1,
       "metadata": {},
       "outputs": [],
       "source": [
@@ -29,7 +29,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 7,
+      "execution_count": 2,
       "metadata": {
         "scrolled": true
       },
@@ -39,7 +39,7 @@
             "text/html": [
               "\n",
               "          <iframe\n",
-              "                id=\"dieeQbbbtTbpv\"\n",
+              "                id=\"diezvSItfhbCB\"\n",
               "                width=\"820\"\n",
               "                height=\"620\"\n",
               "                frameborder=\"0\"\n",
@@ -306,7 +306,7 @@
       "name": "python",
       "nbconvert_exporter": "python",
       "pygments_lexer": "ipython3",
-      "version": "3.11.2"
+      "version": "3.12.7"
     },
     "widgets": {
       "application/vnd.jupyter.widget-state+json": {
diff --git a/docs/getting_started/mdp.ipynb b/docs/getting_started/mdp.ipynb
index 0146b10..90c7950 100644
--- a/docs/getting_started/mdp.ipynb
+++ b/docs/getting_started/mdp.ipynb
@@ -18,7 +18,7 @@
         {
           "data": {
             "text/plain": [
-              "<stormpy.storage.storage.PrismProgram at 0x7f2e35d75eb0>"
+              "<stormpy.storage.storage.PrismProgram at 0x7fb379fafb30>"
             ]
           },
           "execution_count": 2,
@@ -275,7 +275,7 @@
         {
           "data": {
             "application/vnd.jupyter.widget-view+json": {
-              "model_id": "997d4600f467461ea1373a3ada686982",
+              "model_id": "f113a3bb73e541179bb0eb95c0cacbb4",
               "version_major": 2,
               "version_minor": 0
             },
@@ -285,44 +285,6 @@
           },
           "metadata": {},
           "output_type": "display_data"
-        },
-        {
-          "data": {
-            "text/html": [
-              "<script>fetch('http://127.0.0.1:8889/GqsIRIDxdP/MESSAGE/' + 'test message')</script>"
-            ],
-            "text/plain": [
-              "<IPython.core.display.HTML object>"
-            ]
-          },
-          "metadata": {},
-          "output_type": "display_data"
-        },
-        {
-          "data": {
-            "text/html": [
-              "<script>fetch('http://127.0.0.1:8889/GqsIRIDxdP/MESSAGE/' + 'test message')</script>"
-            ],
-            "text/plain": [
-              "<IPython.core.display.HTML object>"
-            ]
-          },
-          "metadata": {},
-          "output_type": "display_data"
-        },
-        {
-          "data": {
-            "application/vnd.jupyter.widget-view+json": {
-              "model_id": "f45b2ef528d34e9fadcd1202511779a3",
-              "version_major": 2,
-              "version_minor": 0
-            },
-            "text/plain": [
-              "HBox(children=(Output(), Output()))"
-            ]
-          },
-          "metadata": {},
-          "output_type": "display_data"
         }
       ],
       "source": [
@@ -347,341 +309,13 @@
       "outputs": [
         {
           "data": {
-            "text/html": [
-              "\n",
-              "<!DOCTYPE html>\n",
-              "<html lang=\"en\">\n",
-              "  <head>\n",
-              "    <title>Network</title>\n",
-              "    <script\n",
-              "      type=\"text/javascript\"\n",
-              "      src=\"https://unpkg.com/vis-network/standalone/umd/vis-network.min.js\"\n",
-              "    ></script>\n",
-              "    <style type=\"text/css\">\n",
-              "      #mynetwork {\n",
-              "        \n",
-              "        width: 800px;\n",
-              "        height: 600px;\n",
-              "        border: 1px solid lightgray;\n",
-              "        \n",
-              "      }\n",
-              "    </style>\n",
-              "  </head>\n",
-              "  <body>\n",
-              "    <div id=\"mynetwork\"></div>\n",
-              "    <script type=\"text/javascript\">\n",
-              "        \n",
-              "        var nodes = new vis.DataSet([{ id: 0, label: `init\n",
-              "rounds: 0.0`, group: \"states\" },\n",
-              "{ id: 1, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 2, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 3, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 4, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 5, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 6, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 7, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 8, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 9, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 10, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 11, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 12, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 13, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 14, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 15, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 16, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 17, label: `\n",
-              "rounds: 1.0`, group: \"states\", hidden: true },\n",
-              "{ id: 18, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 19, label: `\n",
-              "rounds: 1.0`, group: \"states\", hidden: true },\n",
-              "{ id: 20, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 21, label: `\n",
-              "rounds: 1.0`, group: \"states\", hidden: true },\n",
-              "{ id: 22, label: `\n",
-              "rounds: 1.0`, group: \"states\", hidden: true },\n",
-              "{ id: 23, label: `\n",
-              "rounds: 1.0`, group: \"states\", hidden: true },\n",
-              "{ id: 24, label: `\n",
-              "rounds: 1.0`, group: \"states\", hidden: true },\n",
-              "{ id: 25, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 26, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 27, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 28, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 29, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 30, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 31, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 32, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 33, label: `\n",
-              "rounds: 1.0`, group: \"states\", hidden: true },\n",
-              "{ id: 34, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 35, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 36, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 37, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 38, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 39, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 40, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 41, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 42, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 43, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 44, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 45, label: `\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 46, label: `deadlock\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 47, label: `deadlock\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "{ id: 48, label: `deadlock\n",
-              "rounds: 0.0`, group: \"states\", hidden: true },\n",
-              "]);\n",
-              "        var edges = new vis.DataSet([{ from: 0, to: 1, label: \"1/8\" },\n",
-              "{ from: 0, to: 2, label: \"1/8\" },\n",
-              "{ from: 0, to: 3, label: \"1/8\" },\n",
-              "{ from: 0, to: 4, label: \"1/8\" },\n",
-              "{ from: 0, to: 5, label: \"1/8\" },\n",
-              "{ from: 0, to: 6, label: \"1/8\" },\n",
-              "{ from: 0, to: 7, label: \"1/8\" },\n",
-              "{ from: 0, to: 8, label: \"1/8\" },\n",
-              "{ from: 1, to: 9, label: \"1\" },\n",
-              "{ from: 2, to: 10, label: \"1\" },\n",
-              "{ from: 3, to: 11, label: \"1\" },\n",
-              "{ from: 4, to: 12, label: \"1\" },\n",
-              "{ from: 5, to: 13, label: \"1\" },\n",
-              "{ from: 6, to: 14, label: \"1\" },\n",
-              "{ from: 7, to: 15, label: \"1\" },\n",
-              "{ from: 8, to: 16, label: \"1\" },\n",
-              "{ from: 9, to: 17, label: \"1\" },\n",
-              "{ from: 10, to: 18, label: \"1\" },\n",
-              "{ from: 11, to: 19, label: \"1\" },\n",
-              "{ from: 12, to: 20, label: \"1\" },\n",
-              "{ from: 13, to: 21, label: \"1\" },\n",
-              "{ from: 14, to: 22, label: \"1\" },\n",
-              "{ from: 15, to: 23, label: \"1\" },\n",
-              "{ from: 16, to: 24, label: \"1\" },\n",
-              "{ from: 17, to: 25, label: \"1\" },\n",
-              "{ from: 18, to: 26, label: \"1\" },\n",
-              "{ from: 19, to: 27, label: \"1\" },\n",
-              "{ from: 20, to: 26, label: \"1\" },\n",
-              "{ from: 21, to: 28, label: \"1\" },\n",
-              "{ from: 22, to: 29, label: \"1\" },\n",
-              "{ from: 23, to: 30, label: \"1\" },\n",
-              "{ from: 24, to: 31, label: \"1\" },\n",
-              "{ from: 25, to: 32, label: \"1\" },\n",
-              "{ from: 26, to: 33, label: \"1\" },\n",
-              "{ from: 27, to: 34, label: \"1\" },\n",
-              "{ from: 28, to: 35, label: \"1\" },\n",
-              "{ from: 29, to: 36, label: \"1\" },\n",
-              "{ from: 30, to: 37, label: \"1\" },\n",
-              "{ from: 31, to: 38, label: \"1\" },\n",
-              "{ from: 32, to: 39, label: \"1\" },\n",
-              "{ from: 33, to: 40, label: \"1\" },\n",
-              "{ from: 34, to: 41, label: \"1\" },\n",
-              "{ from: 35, to: 42, label: \"1\" },\n",
-              "{ from: 36, to: 43, label: \"1\" },\n",
-              "{ from: 37, to: 44, label: \"1\" },\n",
-              "{ from: 38, to: 45, label: \"1\" },\n",
-              "{ from: 39, to: 0, label: \"1\" },\n",
-              "{ from: 40, to: 46, label: \"1\" },\n",
-              "{ from: 41, to: 47, label: \"1\" },\n",
-              "{ from: 42, to: 48, label: \"1\" },\n",
-              "{ from: 43, to: 48, label: \"1\" },\n",
-              "{ from: 44, to: 47, label: \"1\" },\n",
-              "{ from: 45, to: 0, label: \"1\" },\n",
-              "{ from: 46, to: 46, label: \"1\" },\n",
-              "{ from: 47, to: 47, label: \"1\" },\n",
-              "{ from: 48, to: 48, label: \"1\" },\n",
-              "]);\n",
-              "        var options = {\n",
-              "  \"__fake_macros\": {\n",
-              "    \"__group_macro\": {\n",
-              "      \"borderWidth\": 1,\n",
-              "      \"color\": {\n",
-              "        \"background\": \"white\",\n",
-              "        \"border\": \"black\",\n",
-              "        \"highlight\": {\n",
-              "          \"background\": \"white\",\n",
-              "          \"border\": \"red\"\n",
-              "        }\n",
-              "      },\n",
-              "      \"shape\": \"ellipse\",\n",
-              "      \"mass\": 1,\n",
-              "      \"font\": {\n",
-              "        \"color\": \"black\",\n",
-              "        \"size\": 14\n",
-              "      }\n",
-              "    }\n",
-              "  },\n",
-              "  \"groups\": {\n",
-              "    \"states\": {\n",
-              "      \"borderWidth\": 1,\n",
-              "      \"color\": {\n",
-              "        \"background\": \"white\",\n",
-              "        \"border\": \"black\",\n",
-              "        \"highlight\": {\n",
-              "          \"background\": \"white\",\n",
-              "          \"border\": \"red\"\n",
-              "        }\n",
-              "      },\n",
-              "      \"shape\": \"ellipse\",\n",
-              "      \"mass\": 1,\n",
-              "      \"font\": {\n",
-              "        \"color\": \"black\",\n",
-              "        \"size\": 14\n",
-              "      }\n",
-              "    },\n",
-              "    \"actions\": {\n",
-              "      \"borderWidth\": 1,\n",
-              "      \"color\": {\n",
-              "        \"background\": \"lightblue\",\n",
-              "        \"border\": \"black\",\n",
-              "        \"highlight\": {\n",
-              "          \"background\": \"white\",\n",
-              "          \"border\": \"red\"\n",
-              "        }\n",
-              "      },\n",
-              "      \"shape\": \"box\",\n",
-              "      \"mass\": 1,\n",
-              "      \"font\": {\n",
-              "        \"color\": \"black\",\n",
-              "        \"size\": 14\n",
-              "      }\n",
-              "    },\n",
-              "    \"scheduled_actions\": {\n",
-              "      \"borderWidth\": 1,\n",
-              "      \"color\": {\n",
-              "        \"background\": \"pink\",\n",
-              "        \"border\": \"black\",\n",
-              "        \"highlight\": {\n",
-              "          \"background\": \"white\",\n",
-              "          \"border\": \"red\"\n",
-              "        }\n",
-              "      },\n",
-              "      \"shape\": \"box\",\n",
-              "      \"mass\": 1,\n",
-              "      \"font\": {\n",
-              "        \"color\": \"black\",\n",
-              "        \"size\": 14\n",
-              "      },\n",
-              "      \"schedColor\": false\n",
-              "    }\n",
-              "  },\n",
-              "  \"reload_button\": false,\n",
-              "  \"edges\": {\n",
-              "    \"arrows\": \"to\",\n",
-              "    \"font\": {\n",
-              "      \"color\": \"black\",\n",
-              "      \"size\": 14\n",
-              "    },\n",
-              "    \"color\": {\n",
-              "      \"color\": \"black\"\n",
-              "    }\n",
-              "  },\n",
-              "  \"numbers\": {\n",
-              "    \"fractions\": true,\n",
-              "    \"digits\": 5\n",
-              "  },\n",
-              "  \"results_and_rewards\": {\n",
-              "    \"show_results\": true,\n",
-              "    \"resultSymbol\": \"\\u2606\",\n",
-              "    \"show_rewards\": true\n",
-              "  },\n",
-              "  \"layout\": {\n",
-              "    \"randomSeed\": 5\n",
-              "  },\n",
-              "  \"misc\": {\n",
-              "    \"enable_physics\": true,\n",
-              "    \"width\": 800,\n",
-              "    \"height\": 600,\n",
-              "    \"explore\": true\n",
-              "  },\n",
-              "  \"saving\": {\n",
-              "    \"relative_path\": true,\n",
-              "    \"filename\": \"layouts/NAME.json\",\n",
-              "    \"save_button\": false,\n",
-              "    \"load_button\": false\n",
-              "  },\n",
-              "  \"positions\": {},\n",
-              "  \"width\": 800,\n",
-              "  \"height\": 600,\n",
-              "  \"physics\": true\n",
-              "};\n",
-              "        //js\n",
-              "var container = document.getElementById(\"mynetwork\");\n",
-              "var data = {\n",
-              "    nodes: nodes,\n",
-              "    edges: edges,\n",
-              "};\n",
-              "var network = new vis.Network(container, data, options);\n",
-              "function makeAllNodesInvisible() {\n",
-              "    ids = nodes.getIds();\n",
-              "    for (let i = 0; i < ids.length; i++) {\n",
-              "        var nodeId = ids[i];\n",
-              "        var node = nodes.get(nodeId);\n",
-              "        node[\"hidden\"] = true;\n",
-              "        nodes.update(node);\n",
-              "    }\n",
-              "};\n",
-              "function makeNeighborsVisible(myNode) {\n",
-              "    var ids = network.getConnectedNodes(myNode, 'to');\n",
-              "    for (let i = 0; i < ids.length; i++) {\n",
-              "        var nodeId = ids[i];\n",
-              "        var node = nodes.get(nodeId);\n",
-              "        node[\"hidden\"] = false;\n",
-              "        nodes.update(node);\n",
-              "    }\n",
-              "};\n",
-              "function makeNodeVisible(nodeId) {\n",
-              "    var node = nodes.get(nodeId);\n",
-              "    node[\"hidden\"] = false;\n",
-              "    nodes.update(node);\n",
-              "};\n",
-              "network.on( 'click', function(properties) {\n",
-              "    var nodeId = network.getNodeAt({x:properties.event.srcEvent.offsetX, y:properties.event.srcEvent.offsetY});\n",
-              "    makeNeighborsVisible(nodeId);\n",
-              "});\n",
-              "\n",
-              "    </script>\n",
-              "  </body>\n",
-              "</html>\n"
-            ],
+            "application/vnd.jupyter.widget-view+json": {
+              "model_id": "8d832d9188a642f0aeb3b4b740eb1006",
+              "version_major": 2,
+              "version_minor": 0
+            },
             "text/plain": [
-              "<IPython.core.display.HTML object>"
+              "Output()"
             ]
           },
           "metadata": {},
@@ -716,9 +350,9 @@
   ],
   "metadata": {
     "kernelspec": {
-      "display_name": "Python (stormvogel)",
+      "display_name": "Python 3 (ipykernel)",
       "language": "python",
-      "name": "stormvogel-env"
+      "name": "python3"
     },
     "language_info": {
       "codemirror_mode": {
