Perez, Mateo

4 publications

AAAI 2024 A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs Mateo Perez, Fabio Somenzi, Ashutosh Trivedi

AAAI 2024 Assume-Guarantee Reinforcement Learning Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez

AAAI 2024 Omega-Regular Decision Processes Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak

NeurIPS 2022 Recursive Reinforcement Learning Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak