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