TY  - RPRT
TI  - Integrating Explanations in Learning LTL Specifications from Demonstrations
AU  - Ashutosh Gupta
AU  - John Komp
AU  - Abhay Singh Rajput
AU  - Krishna Shankaranarayanan
AU  - Ashutosh Trivedi
AU  - Namrita Varshney
PY  - 2024
UR  - https://arxiv.org/abs/2404.02872
ID  - 2404.02872
ER  -