3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.RO2023★ 3 cited
Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing
Yangge Li, Benjamin C Yang, Yixuan Jia +2
Perception contracts provide a method for evaluating safety of control systems that use machine learning for perception. A perception contract is a specification for testing the ML…
cs.SE2023★ 2 cited
Verse: A Python library for reasoning about multi-agent hybrid system scenarios
Yangge Li, Haoqing Zhu, Katherine Braught +2
We present the Verse library with the aim of making hybrid system verification more usable for multi-agent scenarios. In Verse, decision making agents move in a map and interact wi…