Integrating Explanations in Learning LTL Specifications from Demonstrations

Open in new window