Perez, Mateo

1. Omega-Regular Objectives in Model-Free Reinforcement Learning
   2018/09/26 by Ernst Moritz Hahn, Mateo Perez, Hahn, Ernst Moritz +9 · 7 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML)
2. Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning
   2019/09/11 by Hahn, Ernst Moritz, Perez, Mateo, Somenzi, Fabio +3 · 2 citations
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
3. Policy Synthesis and Reinforcement Learning for Discounted LTL
   2023/05/26 by Rajeev Alur, Osbert Bastani, Alur, Rajeev +9 · 2 citations
   Biochemistry, Genetics and Molecular Biology · Computer Science · #Receptor Mechanisms and Signaling #Reinforcement Learning in Robotics #Formal Methods in Verification
4. Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems
   2022/08/06 by Abolfazl Lavaei, Mateo Perez, Lavaei, Abolfazl +11 · 2 citations
   Medicine · #Cardiac electrophysiology and arrhythmias #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
5. Omega-Regular Reward Machines
   2023/08/14 by Ernst Moritz Hahn, Hahn, Ernst Moritz, Mateo Perez +9 · 1 citation
   Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Receptor Mechanisms and Signaling #Reinforcement Learning in Robotics #Topic Modeling
6. A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs
   2023/10/18 by Perez, Mateo, Somenzi, Fabio, Trivedi, Ashutosh · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
7. Assume-Guarantee Reinforcement Learning
   2023/12/15 by Kazemi, Milad, Perez, Mateo, Somenzi, Fabio +3 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multiagent Systems (cs.MA)