State-Space ExplorationΒΆ

TODO: Describe abstract and concrete state-space explorer.