A Composable Specification Language for Reinforcement Learning Tasks

Kishor Jothimurugan, Rajeev Alur, and Osbert Bastani. NeurIPS 2019. (Poster PDF · Paper)