Mateo Perez

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 33

Top Topics

Reinforcement Learning

Decision Process

Markov Decision Process

Top Venues

Publications

Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
Assume-Guarantee Reinforcement Learning. AAAI (2024)
Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs. AAAI (2024)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Decision Processes. AAAI (2024)
Taylor Dohmen, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
Regular Reinforcement Learning. CAV (3) (2024)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Multi-objective ω-Regular Reinforcement Learning. Formal Aspects Comput. 35 (2) (2023)
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
Policy Synthesis and Reinforcement Learning for Discounted LTL. CAV (1) (2023)
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
Policy Synthesis and Reinforcement Learning for Discounted LTL. CoRR (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Decision Processes. CoRR (2023)
Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs. CoRR (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. TACAS (1) (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Reward Machines. ECAI (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Reward Machines. CoRR (2023)
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
Assume-Guarantee Reinforcement Learning. CoRR (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Alternating Good-for-MDP Automata. CoRR (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Recursive Reinforcement Learning. CoRR (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
An Impossibility Result in Automata-Theoretic Reinforcement Learning. ATVA (2022)
Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems. CoRR (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Reinforcement Learning with Guarantees that Hold for Ever. FMICS (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Recursive Reinforcement Learning. NeurIPS (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Alternating Good-for-MDPs Automata. ATVA (2022)
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning. AAMAS (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. FM (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Model-free Reinforcement Learning for Branching Markov Decision Processes. CoRR (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Mungojerrie: Reinforcement Learning of Linear-Time Objectives. CoRR (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Model-Free Reinforcement Learning for Branching Markov Decision Processes. CAV (2) (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Reward Shaping for Reinforcement Learning with Omega-Regular Objectives. CoRR (2020)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. ATVA (2020)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Model-Free Reinforcement Learning for Stochastic Parity Games. CONCUR (2020)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. TACAS (1) (2020)
Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi, Sven Schewe, Dominik Wojtczak
Good-for-MDPs Automata. CoRR (2019)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Objectives in Model-Free Reinforcement Learning. TACAS (1) (2019)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Limit reachability for model-free reinforcement learning of ω-regular objectives. SNR (2019)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Objectives in Model-Free Reinforcement Learning. CoRR (2018)