2

A Framework for Transforming Specifications in Reinforcement Learning

Reactive synthesis algorithms allow automatic construction of policies to control an environment modeled as a Markov Decision Process …

Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan