research
∙
03/02/2023
Co-learning Planning and Control Policies Using Differentiable Formal Task Constraints
This paper presents a hierarchical reinforcement learning algorithm cons...
share
research
∙
06/14/2022
Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising
Neural network policies trained using Deep Reinforcement Learning (DRL) ...
research
∙
03/02/2022
Model-free Neural Lyapunov Control for Safe Robot Navigation
Model-free Deep Reinforcement Learning (DRL) controllers have demonstrat...
research
∙
04/20/2021
Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning
There has been significant recent interest in devising verification tech...
research
∙
10/21/2020
Batch Sequential Adaptive Designs for Global Optimization
Compared with the fixed-run designs, the sequential adaptive designs (SA...
research
∙
06/11/2020
Robustness to Adversarial Attacks in Learning-Enabled Controllers
Learning-enabled controllers used in cyber-physical systems (CPS) are kn...
research
∙
07/16/2019
