.. _State-space explorer:

.. currentmodule:: momba.explore


State-Space Exploration
=======================

TODO: Describe abstract and concrete state-space explorer.