@inproceedings{kim2019bayesian, title={Bayesian inference of linear temporal logic specifications for contrastive explanations}, author={Kim, Joseph and Muise, Christian and Shah, Ankit and Agarwal, Shubham and Shah, Julie} }