3 citations · 3 across the 3 of their papers we have counts for
4 papers
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…
Symmetry Abstractions for Hybrid Systems and their Applications
Hussein Sibai, Sayan Mitra
A symmetry of a dynamical system is a map that transforms one trajectory to another trajectory. We introduce a new type of abstraction for hybrid automata based on symmetries. The…
Multi-Agent Safety Verification using Symmetry Transformations
Hussein Sibai, Navid Mokhlesi, Chuchu Fan +1
We show that symmetry transformations and caching can enable scalable, and possibly unbounded, verification of multi-agent systems. Symmetry transformations map solutions and to ot…
Online monitoring for safe pedestrian-vehicle interactions
Peter Du, Zhe Huang, Tianqi Liu +5
As autonomous systems begin to operate amongst humans, methods for safe interaction must be investigated. We consider an example of a small autonomous vehicle in a pedestrian zone…