Bayesian Inference of Temporal Task Specifications from Demonstrations Ankit Shah, Pritish Kamath, Shen Li, Julie Shah Jan 1, 2018 PDF Cite Project Poster