Supervised Bayesian Specification Inference from Demonstrations Ankit Shah, Pritish Kamath, Shen Li, Patrick Craven, Kevin Landers, Kevin Oden, Julie Shah Jan 1, 2019 Cite Project