PV3 ⊧ modyshchecks properties of a Markov decision process with dynamic search and heuristic planning
Application domain/field
- Model checking
- Non-exhaustive exploration
Type of tool
Model checkerExpected input
Format:
Modest Toolset format or JANI format.