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

{"_id":"9ypwvsBMwK9YondNi","bibbaseid":"kim-muise-shah-agarwal-shah-bayesianinferenceoflineartemporallogicspecificationsforcontrastiveexplanations","authorIDs":["sf6hgjYCghtLf56ZD"],"author_short":["Kim, J.","Muise, C.","Shah, A.","Agarwal, S.","Shah, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Bayesian inference of linear temporal logic specifications for contrastive explanations","author":[{"propositions":[],"lastnames":["Kim"],"firstnames":["Joseph"],"suffixes":[]},{"propositions":[],"lastnames":["Muise"],"firstnames":["Christian"],"suffixes":[]},{"propositions":[],"lastnames":["Shah"],"firstnames":["Ankit"],"suffixes":[]},{"propositions":[],"lastnames":["Agarwal"],"firstnames":["Shubham"],"suffixes":[]},{"propositions":[],"lastnames":["Shah"],"firstnames":["Julie"],"suffixes":[]}],"bibtex":"@inproceedings{kim2019bayesian,\n title={Bayesian inference of linear temporal logic specifications for contrastive explanations},\n author={Kim, Joseph and Muise, Christian and Shah, Ankit and Agarwal, Shubham and Shah, Julie}\n}","author_short":["Kim, J.","Muise, C.","Shah, A.","Agarwal, S.","Shah, J."],"key":"kim2019bayesian","id":"kim2019bayesian","bibbaseid":"kim-muise-shah-agarwal-shah-bayesianinferenceoflineartemporallogicspecificationsforcontrastiveexplanations","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"https://drive.google.com/uc?export=download&id=1qFcoF44928ljPJGmsh0i7QXC-lJnmL0m","creationDate":"2020-03-13T21:30:32.331Z","downloads":0,"keywords":[],"search_terms":["bayesian","inference","linear","temporal","logic","specifications","contrastive","explanations","kim","muise","shah","agarwal","shah"],"title":"Bayesian inference of linear temporal logic specifications for contrastive explanations","year":null,"dataSources":["M3whnqSzHMH5B5dtB"]}