PV3 modyshchecks properties of a Markov decision process with dynamic search and heuristic planning

Application domain/field

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"
Automaton Model checking

Links

Project page (of the Modest Toolset): https://www.modestchecker.net

Related papers

https://doi.org/10.1007/978-3-030-85172-9_2 (QEST 2021)

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.