Hybrid Systems

Verse: A python library for reasoning about multi-agent hybrid system scenarios

SceneChecker: Boosting scenario verification using symmetry abstractions