Bayesian Inference of Temporal Task Specifications from Demonstrations - Shah, Ankit; Kamath, Pritish; Shah, Julie A; Li, Shen (Advances in Neural Information Processing Systems, 2018)