Bayesian inference of linear temporal logic specifications for contrastive explanations. Kim, J., Muise, C., Shah, A., Agarwal, S., & Shah, J. In
bibtex   
@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}
}
Downloads: 0