research
∙
08/14/2023
Omega-Regular Reward Machines
Reinforcement learning (RL) is a powerful approach for training agents t...
share
research
∙
12/14/2022
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining
Deep Neural Networks (DNN) are becoming increasingly more important in a...
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
∙
01/08/2020
Symblicit Exploration and Elimination for Probabilistic Model Checking
Binary decision diagrams can compactly represent vast sets of states, mi...
research
∙
09/26/2018
Omega-Regular Objectives in Model-Free Reinforcement Learning
We provide the first solution for model-free reinforcement learning of ω...
research
∙
05/15/2018
Accelerated Model Checking of Parametric Markov Chains
Parametric Markov chains occur quite naturally in various applications: ...
research
∙
04/05/2018