research
∙
05/13/2023
More for Less: Safe Policy Improvement With Stronger Performance Guarantees
In an offline reinforcement learning setting, the safe policy improvemen...
share
research
∙
12/01/2022
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
Automated synthesis of provably correct controllers for cyber-physical s...
research
∙
04/02/2022
Safe Reinforcement Learning via Shielding for POMDPs
Reinforcement learning (RL) in safety-critical environments requires an ...
research
∙
06/30/2020
