Interpretable Apprenticeship Learning with Temporal Logic Specifications | Read Paper on Bytez