SpaceEx State Space Explorer

SpaceEx 0.8 beta released

A beta version of SpaceEx v0.8 is now available for download.

New features include

  • a completely new model editor
  • an improved web interface
  • models can have nondeterministic inputs
  • clustering and aggregation options can now be set. They control how flowpipes are mapped by discrete transitions.

All comments are welcome.