Biblio
Found 1 results
Author Title Type [ Year] Filters: Keyword is Planning and Author is Ankit Shah [Clear All Filters]
"Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations",
International Joint Conference on Artificial Intelligence (IJCAI), Macau, China, 08/2019.