SpaceEx State Space Explorer

Bugfix and Stability Update: SpaceEx v0.9.8b

This update improves the numerical stability of LGG and STC reachability algorithms and fixes a major bug from the previous release. It is now available for download, including images for VMWare and VirtualBox. 

Important Bug Fixes

The update fixes a bug introduced in v0.9.8 that could lead to constraints from the invariant being ignored, and thus to an excessively large overapproximation of the reachable set.