Serendipity953

> The formula is not supported in your Storm installation because the Spot library is missing. Spot provides support for LTL formula. You could reinstall Storm with support for Spot...

Thanks again for your reply, and there is something still uclear to me. That is how can I get the ```python properties[0] ``` inside the step ```python result = stormpy.model_checking(model,...