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.