Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations.

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

Browse the full IJCAI paper archive.