Picture for Mateo Perez

Mateo Perez

Assume-Guarantee Reinforcement Learning

Add code
Dec 15, 2023
Viaarxiv icon

Omega-Regular Decision Processes

Add code
Dec 14, 2023
Figure 1 for Omega-Regular Decision Processes
Figure 2 for Omega-Regular Decision Processes
Figure 3 for Omega-Regular Decision Processes
Viaarxiv icon

A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs

Add code
Oct 18, 2023
Viaarxiv icon

Omega-Regular Reward Machines

Add code
Aug 14, 2023
Viaarxiv icon

Policy Synthesis and Reinforcement Learning for Discounted LTL

Add code
May 29, 2023
Viaarxiv icon

Recursive Reinforcement Learning

Add code
Jun 23, 2022
Figure 1 for Recursive Reinforcement Learning
Figure 2 for Recursive Reinforcement Learning
Figure 3 for Recursive Reinforcement Learning
Viaarxiv icon

Alternating Good-for-MDP Automata

Add code
May 06, 2022
Figure 1 for Alternating Good-for-MDP Automata
Figure 2 for Alternating Good-for-MDP Automata
Figure 3 for Alternating Good-for-MDP Automata
Figure 4 for Alternating Good-for-MDP Automata
Viaarxiv icon

Mungojerrie: Reinforcement Learning of Linear-Time Objectives

Add code
Jun 18, 2021
Figure 1 for Mungojerrie: Reinforcement Learning of Linear-Time Objectives
Figure 2 for Mungojerrie: Reinforcement Learning of Linear-Time Objectives
Figure 3 for Mungojerrie: Reinforcement Learning of Linear-Time Objectives
Figure 4 for Mungojerrie: Reinforcement Learning of Linear-Time Objectives
Viaarxiv icon

Model-free Reinforcement Learning for Branching Markov Decision Processes

Add code
Jun 12, 2021
Figure 1 for Model-free Reinforcement Learning for Branching Markov Decision Processes
Viaarxiv icon

Omega-Regular Objectives in Model-Free Reinforcement Learning

Add code
Sep 26, 2018
Figure 1 for Omega-Regular Objectives in Model-Free Reinforcement Learning
Figure 2 for Omega-Regular Objectives in Model-Free Reinforcement Learning
Figure 3 for Omega-Regular Objectives in Model-Free Reinforcement Learning
Figure 4 for Omega-Regular Objectives in Model-Free Reinforcement Learning
Viaarxiv icon