research
∙
04/04/2021
Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes
This paper proposes a reinforcement learning method for controller synth...
share
research
∙
03/26/2021
Model-Free Learning of Safe yet Effective Controllers
In this paper, we study the problem of learning safe control policies th...
research
∙
02/08/2021
Learning Optimal Strategies for Temporal Tasks in Stochastic Games
Linear temporal logic (LTL) is widely used to formally specify complex t...
research
∙
11/03/2020
Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning
We consider the problem of security-aware planning in an unknown stochas...
research
∙
10/02/2020
Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
We study the problem of synthesizing control strategies for Linear Tempo...
research
∙
09/16/2019
