TY  - RPRT
TI  - A Composable Specification Language for Reinforcement Learning Tasks
AU  - Kishor Jothimurugan
AU  - Rajeev Alur
AU  - Osbert Bastani
PY  - 2020
UR  - https://arxiv.org/abs/2008.09293
ID  - 2008.09293
ER  -