dtControl: decision tree learning algorithms for controller representation. - Pranav Ashok; Mathias Jackermeier; Pushpak Jagtap; Jan Kretínský; Maximilian Weininger; Majid Zamani 001 (HSCC, 2020)

dtControl: decision tree learning algorithms for controller representation (HSCC 20 Repeatability Evaluation Package). - Pranav Ashok; Mathias Jackermeier; Pushpak Jagtap; Jan Kretínský; Maximilian Weininger; Majid Zamani 001 (Zenodo, 2020)

dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts. - Pranav Ashok; Mathias Jackermeier; Jan Kretínský; Christoph Weinhuber; Maximilian Weininger; Mayank Yadav (TACAS (2), 2021)

dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts (TACAS 21 Artifact). - Pranav Ashok; Mathias Jackermeier; Jan Kretínský; Christoph Weinhuber; Maximilian Weininger; Mayank Yadav (Zenodo, 2021)

Box2EL: Concept and Role Box Embeddings for the Description Logic EL++. - Mathias Jackermeier; Jiaoyan Chen 001; Ian Horrocks 001 (CoRR, 2023)

Dual Box Embeddings for the Description Logic EL++. - Mathias Jackermeier; Jiaoyan Chen 001; Ian Horrocks 001 (WWW, 2024)

DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications. - Mathias Jackermeier; Alessandro Abate (CoRR, 2024)

DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL. - Mathias Jackermeier; Alessandro Abate (ICLR, 2025)