Major Bugfix Update: SpaceEx v0.9.8c
Important bugs have been fixed in version 0.9.8c. Users are highly encouraged to update to this version.
The release includes the following improvements:
- major performance improvement in DAE to ODE conversion (quantifier elimination),
- major bugfix in the conversion from DAE to ODE that could lead to guards and invariants being ignored or empty,
- major bugfix in the treatment of piecewise linear functions that deteriorated accuracy and clustering in the STC scenario.