@misc{indiciaef3fe2241e28a,
  title = {Integrating Explanations in Learning LTL Specifications from Demonstrations},
  author = {Ashutosh Gupta and John Komp and Abhay Singh Rajput and Krishna Shankaranarayanan and Ashutosh Trivedi and Namrita Varshney},
  year = {2024},
  url = {https://arxiv.org/abs/2404.02872},
  note = {Source identifier: 2404.02872}
}