Biblio

Found 1 results
Author Title [ Type(Desc)] Year
Filters: Keyword is linear temporal logic  [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.