Ankit Shah

Latest

• Bayesian inference of linear temporal logic specifications for contrastive explanations