3 citations · 6 across the 8 of their papers we have counts for
4 papers · 1 filter
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…