TY  - RPRT
TI  - Compositional Reinforcement Learning from Logical Specifications
AU  - Kishor Jothimurugan
AU  - Suguman Bansal
AU  - Osbert Bastani
AU  - Rajeev Alur
PY  - 2021
UR  - https://arxiv.org/abs/2106.13906
ID  - 2106.13906
ER  -