Mateo Perez

Orcid: 0000-0003-4220-3212

According to our database¹, Mateo Perez authored at least 27 papers between 2019 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Multi-Agent Reinforcement Learning for Alternating-Time Logic.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Regular Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

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

[BibT_eX]

[DOI]

Mateo Perez

Fabio Somenzi

Ashutosh Trivedi

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Assume-Guarantee Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Omega-Regular Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Multi-objective ω-Regular Reinforcement Learning.

[BibT_eX]

[DOI]

Formal Aspects Comput., June, 2023

Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Omega-Regular Reward Machines.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Policy Synthesis and Reinforcement Learning for Discounted LTL.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems.

[BibT_eX]

[DOI]

CoRR, 2022

Alternating Good-for-MDP Automata.

[BibT_eX]

[DOI]

CoRR, 2022

Recursive Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Reinforcement Learning with Guarantees that Hold for Ever.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

Alternating Good-for-MDPs Automata.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2022

An Impossibility Result in Automata-Theoretic Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2022

Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Model-free Reinforcement Learning for Branching Markov Decision Processes (Artifact Evaluation for CAV 2021).

[BibT_eX]

[DOI]

Dataset, April, 2021

Mungojerrie: Reinforcement Learning of Linear-Time Objectives.

[BibT_eX]

[DOI]

CoRR, 2021

Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 24th International Symposium, 2021

Model-Free Reinforcement Learning for Branching Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Reward Shaping for Reinforcement Learning with Omega-Regular Objectives.

[BibT_eX]

[DOI]

CoRR, 2020

Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Model-Free Reinforcement Learning for Stochastic Parity Games.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Concurrency Theory, 2020

Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Good-for-MDPs Automata.

[BibT_eX]

[DOI]

CoRR, 2019

Omega-Regular Objectives in Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Limit reachability for model-free reinforcement learning of ω-regular objectives.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019

Mateo Perez

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...