Momba Explore

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.