@misc{dblp-journals-corr-abs-2404-02872,
  title = {Integrating Explanations in Learning LTL Specifications from Demonstrations},
  author = {Ashutosh Gupta and John Komp and Abhay Singh Rajput and Shankaranarayanan Krishna and Ashutosh Trivedi and Namrita Varshney},
  year = {2024},
  url = {https://dblp.org/rec/journals/corr/abs-2404-02872},
  eprint = {2404.02872},
  archivePrefix = {arXiv}
}