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