Biblio
"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.
"Bayes-TrEx: a Bayesian Sampling Approach to Model Transparency by Example",
AAAI Conference on Artificial Intelligence, 2021.
"Provably Safe and Efficient Motion Planning with Uncertain Human Dynamics",
Robotics: Science and Systems (R:SS), 07/2021.
"Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrations",
6th Annual Conference on Robot Learning, Auckland, New Zealand, 12/2022.
"Towards Specification Learning from Demonstrations",
Robotics: Science and Systems (RSS), Workshop on Learning from Demonstrations for High Level Robotics Tasks, 06/2018.