"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.
"Towards Specification Learning from Demonstrations", Robotics: Science and Systems (RSS), Workshop on Learning from Demonstrations for High Level Robotics Tasks, 06/2018.