Extensions API DocumentationΒΆ

These modules provide support for DFTs, GSPNs, parametric models, and POMDPs. Their availability depends on the extensions enabled when building Storm and stormpy. See the core API for shared functionality.

stormpy.dft

API for Dynamic Fault Tree (DFT) analysis.

stormpy.gspn

API for Generalized Stochastic Petri Nets (GSPNs).

stormpy.pars

Parameter synthesis and model instantiation for sparse parametric models.

stormpy.pomdp

API for the analysis of partially observable models (POMDPs).