Type Definition momba_explore::MDPExplorer

type MDPExplorer = Explorer<NoClocks>;

A specialization of Explorer for MDPs using NoClocks.

MDPs do not have any real-valued clocks.