Ameesh Shah Jonathan A. DeCastro John Gideon Beyazit Yalcinkaya Guy Rosman Sanjit A. Seshia Specification-Guided Data Aggregation for Semantically Aware Imitation Learning. 2023 abs/2303.17010 CoRR https://doi.org/10.48550/arXiv.2303.17010 db/journals/corr/corr2303.html#abs-2303-17010