36 citations · 45 across the 9 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
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…
eess.SY2023
Verification of Adaptive Control using Verse Library: A Case Study of Quadrotors
Lin Song, Yangge Li, Sheng Cheng +3
adaptive control (AC) is a control design technique that can handle a broad class of system uncertainties and provide transient performance guarantees. In this work-in-p…
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…