diff --git a/doc/source/getting_started.rst b/doc/source/getting_started.rst index 831cb4a..b577e11 100644 --- a/doc/source/getting_started.rst +++ b/doc/source/getting_started.rst @@ -150,6 +150,8 @@ Before we obtain an instantiated model, we need to map parameters to values: We >>> instantiated_model = instantiator.instantiate(point) >>> result = stormpy.model_checking(instantiated_model, properties[0]) +Initial states and labels are set as for the parameter-free case. + Checking parametric models ------------------------------------