Biblio

Found 1 results
Author Title Type [ Year(Asc)]
Filters: Keyword is Probablistic specification inference  [Clear All Filters]
2019
Kim, J., C. Muise, A. Shah, S. Agarwal, and J. Shah, "Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations", International Joint Conference on Artificial Intelligence (IJCAI), Macau, China, 08/2019.