activity
20202025
most citedVerifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions

36 citations · 45 across the 9 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

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…