Scenario Verification

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