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 checker

Expected input

Format:

Modest Toolset format or JANI format.

Internals

This is part of the Modest Toolset. It is described on the project page as a "probabilistic model checker for MDP based on dynamic search and heuristic planning techniques"