Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing

no code implementations • 15 Nov 2023 • Yangge Li, Benjamin C Yang, Yixuan Jia, Daniel Zhuang, Sayan Mitra

Perception contracts provide a method for evaluating safety of control systems that use machine learning for perception.

SceneChecker: Boosting Scenario Verification using Symmetry Abstractions

no code implementations • 21 Nov 2020 • Hussein Sibai, Yangge Li, Sayan Mitra

We presentSceneChecker, a tool for verifying scenarios involving vehicles executing complex plans in large cluttered workspaces.