Type Definition MDPExplorer
momba_explore
type MDPExplorer = Explorer<NoClocks>;
A specialization of Explorer for MDPs using NoClocks.
MDPs do not have any real-valued clocks.