2 citations · 5 across the 6 of their papers we have counts for
6 papers
STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
Shuo Yang, Hongrui Zheng, Cristian-Ioan Vasile +2
We study how to synthesize a robust and safe policy for autonomous systems under signal temporal logic (STL) tasks in adversarial settings against unknown dynamic agents. To ensure…
Formal Verification and Control with Conformal Prediction
Lars Lindemann, Yiqi Zhao, Xinyi Yu +2
We present recent advances in formal verification and control for autonomous systems with practical safety guarantees enabled by conformal prediction (CP), a statistical tool for u…
Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification
Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi +5
The need for a systematic approach to risk assessment has increased in recent years due to the ubiquity of autonomous systems that alter our day-to-day experiences and their need f…
Learning Local Control Barrier Functions for Hybrid Systems
Shuo Yang, Yu Chen, Xiang Yin +2
Hybrid dynamical systems are ubiquitous as practical robotic applications often involve both continuous states and discrete switchings. Safety is a primary concern for hybrid robot…
Multi-Modal Conformal Prediction Regions with Simple Structures by Optimizing Convex Shape Templates
Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam +2
Conformal prediction is a statistical tool for producing prediction regions for machine learning models that are valid with high probability. A key component of conformal predictio…
MOBILITY21: Strategic Investments for Transportation Infrastructure & Technology
Rahul Mangharam, Megan Reyerson, Steve Viscelli +6
America's transportation infrastructure is the backbone of our economy. A strong infrastructure means a strong America - an America that competes globally, supports local and regio…