Publications

Jackermeier, M., Abate, A. (2024). DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications. Preprint. (arXiv)

Jackermeier, M., Chen, J., and Horrocks, I. (2024). Dual Box Embeddings for the Description Logic EL++. In WWW’24 (oral). (arXiv)

Ashok, P., Jackermeier, M., Křetínský, J., Weinhuber, C., Weininger, M., Yadav, M. (2021). dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts. In TACAS’21. (arXiv)

Ashok, P.*, Jackermeier, M.*, Jagtap, P., Křetínský, J., Weininger, M.*, Zamani, M. (2020). dtControl: Decision Tree Learning Algorithms for Controller Representation. In HSCC’20. (arXiv)

Theses

Description Logic Embeddings for Neuro-Symbolic Reasoning, MSc Dissertation, University of Oxford. 2022.

dtControl: Decision Tree Learning for Explainable Controller Representation, Bachelor’s Thesis, Technical University of Munich. 2020.