@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}
}