research
∙
04/07/2023
Bounding Optimality Gaps for Non-Convex Optimization Problems: Applications to Nonlinear Safety-Critical Systems
Efficient methods to provide sub-optimal solutions to non-convex optimiz...
share
research
∙
03/11/2023
Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control
Leveraging recent developments in black-box risk-aware verification, we ...
research
∙
01/23/2023
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
We propose an adversarial, time-varying test-synthesis procedure for saf...
research
∙
12/12/2022
Learning Disturbances Online for Risk-Aware Control: Risk-Aware Flight with Less Than One Minute of Data
Recent advances in safety-critical risk-aware control are predicated on ...
research
∙
12/12/2022
Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic
Reinforcement Learning (RL) can solve complex tasks but does not intrins...
research
∙
04/21/2022
Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification
The dramatic increase of autonomous systems subject to variable environm...
research
∙
01/04/2022
Test and Evaluation of Quadrupedal Walking Gaits through Sim2Real Gap Quantification
In this letter, the authors propose a two-step approach to evaluate and ...
research
∙
05/01/2020
Information-Collection in Robotic Process Monitoring: An Active Perception Approach
Active perception systems maximizing information gain to support both mo...
research
∙
04/08/2020