10 citations · 14 across the 6 of their papers we have counts for
3 papers · 1 filter
A Framework for Transforming Specifications in Reinforcement Learning
Rajeev Alur, Suguman Bansal, Osbert Bastani +1
Reactive synthesis algorithms allow automatic construction of policies to control an environment modeled as a Markov Decision Process (MDP) that are optimal with respect to high-le…
Compositional Reinforcement Learning from Logical Specifications
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani +1
We study the problem of learning control policies for complex tasks given by logical specifications. Recent approaches automatically generate a reward function from a given specifi…
Learning Algorithms for Regenerative Stopping Problems with Applications to Shipping Consolidation in Logistics
Kishor Jothimurugan, Matthew Andrews, Jeongran Lee +1
We study regenerative stopping problems in which the system starts anew whenever the controller decides to stop and the long-term average cost is to be minimized. Traditional model…