research
∙
08/14/2023
Omega-Regular Reward Machines
Reinforcement learning (RL) is a powerful approach for training agents t...
share
research
∙
05/26/2023
Policy Synthesis and Reinforcement Learning for Discounted LTL
The difficulty of manually specifying reward functions has led to an int...
research
∙
06/23/2022
Recursive Reinforcement Learning
Recursion is the fundamental paradigm to finitely describe potentially i...
research
∙
05/06/2022
Alternating Good-for-MDP Automata
When omega-regular objectives were first proposed in model-free reinforc...
research
∙
06/16/2021
Mungojerrie: Reinforcement Learning of Linear-Time Objectives
Reinforcement learning synthesizes controllers without prior knowledge o...
research
∙
06/12/2021
Model-free Reinforcement Learning for Branching Markov Decision Processes
We study reinforcement learning for the optimal control of Branching Mar...
research
∙
03/02/2020
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning
A novel reinforcement learning scheme to synthesize policies for continu...
research
∙
09/26/2018