diff --git a/doc/source/advanced_topics.rst b/doc/source/advanced_topics.rst new file mode 100644 index 0000000..124c702 --- /dev/null +++ b/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 \ No newline at end of file diff --git a/doc/source/building_models.rst b/doc/source/building_models.rst new file mode 100644 index 0000000..991b2d9 --- /dev/null +++ b/doc/source/building_models.rst @@ -0,0 +1,5 @@ +*************** +Building Models +*************** + + diff --git a/doc/source/index.rst b/doc/source/index.rst index 23474df..76040e8 100644 --- a/doc/source/index.rst +++ b/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 diff --git a/doc/source/reward_models.rst b/doc/source/reward_models.rst new file mode 100644 index 0000000..2bf2619 --- /dev/null +++ b/doc/source/reward_models.rst @@ -0,0 +1,7 @@ +************** +Reward Models +************** + +Exploring reward models +------------------------ +