perform_multi_objective_model_checking

Warning

The stormpy developer API is internal and can be subject to change.

perform_multi_objective_model_checking(

env: stormpy.environments.Environment,

model: stormpy.developer.storage._storage._SparseMdp_Double,

formula: stormpy.logic.MultiObjectiveFormula,

produce_scheduler: bool = False,

) → storm::modelchecker::CheckResult

perform_multi_objective_model_checking(

env: stormpy.environments.Environment,

model: stormpy.developer.storage._storage._SparseMA_Double,

formula: stormpy.logic.MultiObjectiveFormula,

produce_scheduler: bool = False,

) → storm::modelchecker::CheckResult

perform_multi_objective_model_checking(

env: stormpy.environments.Environment,

model: stormpy.developer.storage._storage._SparseMdp_Rational,

formula: stormpy.logic.MultiObjectiveFormula,

produce_scheduler: bool = False,

) → storm::modelchecker::CheckResult

perform_multi_objective_model_checking(

env: stormpy.environments.Environment,

model: stormpy.developer.storage._storage._SparseMA_Rational,

formula: stormpy.logic.MultiObjectiveFormula,

produce_scheduler: bool = False,

) → storm::modelchecker::CheckResult

Perform multi-objective model checking on MDP

Perform multi-objective model checking on MA

Perform multi-objective model checking on MDP

Perform multi-objective model checking on MA