Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations

Joseph Kim, Christian Muise, Ankit Shah, Shubham Agarwal, Julie Shah
Project