36 citations · 113 across the 35 of their papers we have counts for
37 papers
Learning-based Inverse Perception Contracts and Applications
Dawei Sun, Benjamin C. Yang, Sayan Mitra
Perception modules are integral in many modern autonomous systems, but their accuracy can be subject to the vagaries of the environment. In this paper, we propose a learning-based…
RTAEval: A framework for evaluating runtime assurance logic
Kristina Miller, Christopher K. Zeitler, William Shen +2
Runtime assurance (RTA) addresses the problem of keeping an autonomous system safe while using an untrusted (or experimental) controller. This can be done via logic that explicitly…
ChatGPT in the Classroom: An Analysis of Its Strengths and Weaknesses for Solving Undergraduate Computer Science Questions
Ishika Joshi, Ritvik Budhiraja, Harshal Dev +5
ChatGPT is an AI language model developed by OpenAI that can understand and generate human-like text. It can be used for a variety of use cases such as language generation, questio…
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…
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…
Assuring Safety of Vision-Based Swarm Formation Control
Chiao Hsieh, Yubin Koh, Yangge Li +1
Vision-based formation control systems are attractive because they can use inexpensive sensors and can work in GPS-denied environments. The safety assurance for such systems is cha…