research
∙
04/02/2022
Safe Reinforcement Learning via Shielding for POMDPs
Reinforcement learning (RL) in safety-critical environments requires an ...
share
research
∙
03/21/2022
Dynamic Certification for Autonomous Systems
Autonomous systems are often deployed in complex sociotechnical environm...
research
∙
02/13/2020
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints
Recurrent neural networks (RNNs) have emerged as an effective representa...
research
∙
03/20/2019
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks
We study strategy synthesis for partially observable Markov decision pro...
research
∙
02/27/2018
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes
We study planning problems where autonomous agents operate inside enviro...
research
∙
08/05/2017