some minor changes to the documentation tree

doc/source/advanced_topics.rst

@@ -0,0 +1,13 @@
+*****************
+Advanced Examples
+*****************
+
+This guide is a collection of examples meant to bridge the gap between the getting started guide and the API.
+
+.. toctree::
+    :maxdepth: 2
+    :caption: Contents:
+
+    building_models
+    reward_models
+    shortest_paths

doc/source/building_models.rst

@@ -0,0 +1,5 @@
+***************
+Building Models
+***************
+
+

doc/source/index.rst

@@ -16,7 +16,7 @@ Stormpy is a set of python bindings for the probabilistic model checker `Storm <
    
    installation
    getting_started
-   shortest_paths
+   advanced_topics
    contributors
 
    

doc/source/reward_models.rst

@@ -0,0 +1,7 @@
+**************
+Reward Models
+**************
+
+Exploring reward models
+------------------------
+