Biblio
"Bayes-TrEx: a Bayesian Sampling Approach to Model Transparency by Example",
AAAI Conference on Artificial Intelligence, 2021.
"Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations",
International Joint Conference on Artificial Intelligence (IJCAI), Macau, China, 08/2019.
"Bayesian Inference of Temporal Task Specifications from Demonstrations",
Conference on Neural Information Processing Systems, Montreal, Canada, 2018.
"Towards Specification Learning from Demonstrations",
Robotics: Science and Systems (RSS), Workshop on Learning from Demonstrations for High Level Robotics Tasks, 06/2018.