Integrating Explanations in Learning LTL Specifications from Demonstrations. - Ashutosh Gupta; John Komp; Abhay Singh Rajput; Shankaranarayanan Krishna; Ashutosh Trivedi 001; Namrita Varshney (CoRR, 2024)