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.