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...
share
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
∙
04/20/2022
Risk-Averse Receding Horizon Motion Planning
This paper studies the problem of risk-averse receding horizon motion pl...
research
∙
03/22/2022
Distributionally Robust Model Predictive Control with Total Variation Distance
This paper studies the problem of distributionally robust model predicti...
research
∙
09/09/2021
Risk-Averse Decision Making Under Uncertainty
A large class of decision making under uncertainty problems can be descr...
research
∙
03/26/2021
Risk-Averse Stochastic Shortest Path Planning
We consider the stochastic shortest path planning problem in MDPs, i.e.,...
research
∙
12/04/2020
Constrained Risk-Averse Markov Decision Processes
We consider the problem of designing policies for Markov decision proces...
research
∙
11/23/2020
Risk-Sensitive Motion Planning using Entropic Value-at-Risk
We consider the problem of risk-sensitive motion planning in the presenc...
research
∙
11/03/2020
Risk-Sensitive Path Planning via CVaR Barrier Functions: Application to Bipedal Locomotion
Enforcing safety of robotic systems in the presence of stochastic uncert...
research
∙
04/08/2020
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions
The prolific rise in autonomous systems has led to questions regarding t...
research
∙
03/19/2020
Barrier Functions for Multiagent-POMDPs with DTL Specifications
Multi-agent partially observable Markov decision processes (MPOMDPs) pro...
research
∙
02/05/2020
Partially Observable Games for Secure Autonomy
Technology development efforts in autonomy and cyber-defense have been e...
research
∙
01/21/2020
Stochastic Finite State Control of POMDPs with LTL Specifications
Partially observable Markov decision processes (POMDPs) provide a modeli...
research
∙
09/27/2019
Risk-Averse Planning Under Uncertainty
We consider the problem of designing policies for partially observable M...
research
∙
03/19/2019
Safe Policy Synthesis in Multi-Agent POMDPs via Discrete-Time Barrier Functions
A multi-agent partially observable Markov decision process (MPOMDP) is a...
research
∙
09/28/2018