Biblio

Found 1 results
Author Title [ Type(Desc)] Year
Filters: Keyword is Probablistic specification inference and Author is Shubham Agarwal  [Clear All Filters]
Conference Proceedings
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.