collaborators

1 paper

eess.SY2020

SceneChecker: Boosting Scenario Verification using Symmetry Abstractions

Hussein Sibai, Yangge Li, Sayan Mitra

We presentSceneChecker, a tool for verifying scenarios involving vehicles executing complex plans in large cluttered workspaces. SceneChecker converts the scenario verification pro…