45 citations · 149 across the 52 of their papers we have counts for
61 papers
Assume-Guarantee Reinforcement Learning
Milad Kazemi, Mateo Perez, Fabio Somenzi +3
We present a modular approach to \emph{reinforcement learning} (RL) in environments consisting of simpler components evolving in parallel. A monolithic view of such modular environ…
Omega-Regular Decision Processes
Ernst Moritz Hahn, Mateo Perez, Sven Schewe +3
Regular decision processes (RDPs) are a subclass of non-Markovian decision processes where the transition and reward functions are guarded by some regular property of the past (a l…
A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs
Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
Linear temporal logic (LTL) and omega-regular objectives -- a superset of LTL -- have seen recent use as a way to express non-Markovian objectives in reinforcement learning. We int…
Omega-Regular Reward Machines
Ernst Moritz Hahn, Mateo Perez, Sven Schewe +3
Reinforcement learning (RL) is a powerful approach for training agents to perform tasks, but designing an appropriate reward mechanism is critical to its success. However, in many…
Policy Synthesis and Reinforcement Learning for Discounted LTL
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan +3
The difficulty of manually specifying reward functions has led to an interest in using linear temporal logic (LTL) to express objectives for reinforcement learning (RL). However, L…
Closure Certificates
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
A barrier certificate, defined over the states of a dynamical system, is a real-valued function whose zero level set characterizes an inductively verifiable state invariant separat…