Fabio Somenzi

1. Omega-Regular Objectives in Model-Free Reinforcement Learning
   2018/09/26 by Ernst Moritz Hahn, Mateo Perez, Hahn, Ernst Moritz +9 · 8 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. Policy Synthesis and Reinforcement Learning for Discounted LTL
   2023/05/26 by Rajeev Alur, Alur, Rajeev, Osbert Bastani +9 · 2 citations
   Biochemistry, Genetics and Molecular Biology · Computer Science · #Receptor Mechanisms and Signaling #Reinforcement Learning in Robotics #Formal Methods in Verification
3. 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
4. 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
5. Assume-Guarantee Reinforcement Learning
   2023/12/15 by Milad Kazemi, Mateo Perez, Kazemi, Milad +9 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multiagent Systems (cs.MA) #Reinforcement Learning in Robotics