#model #variables #space #augmented #explore #exploration #automata

momba-explore

State space exploration engine for PTAs and MDPs augmented with variables

2 releases

0.1.1 Mar 2, 2021
0.1.0 Jan 6, 2021

#4 in #exploration


Used in momba-sidekick

MIT license

145KB
3.5K SLoC

Momba Explore

crate documentation


lib.rs:

State space exploration engine for PTAs and MDPs augmented with variables.

This crate provides the necessary functionality for efficiently exploring the state space of Probabilistic Timed Automata (PTAs) and Markov Decision Processes (MDPs) augmented with variables.

Momba Explore uses its own model representation defined in the module [model][model] leveraging Serde. Hence, models can be loaded from any format supported by Serde. JANI models can be loaded by first translating them using Momba.

Dependencies

~3.5–5MB
~94K SLoC