Bayesian inference of linear temporal logic specifications for contrastive explanations. Kim, J.; Muise, C.; Shah, A.; Agarwal, S.; and 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