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.