X

XSpeed

Project information

Reachability analysis tool for hybrid systems with piecewise affine, non-deterministic dynamics. The tool includes counterexample generation feature.

594 Commits
1 Branch
0 Tags

README
GNU GPLv3
CONTRIBUTING

Created on

July 14, 2020

Loading