Mathias Jackermeier

According to our database, Mathias Jackermeier authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications.

Mathias Jackermeier, Alessandro Abate

CoRR, 2024

Dual Box Embeddings for the Description Logic EL⁺⁺.

Mathias Jackermeier, Jiaoyan Chen, Ian Horrocks

Proceedings of the ACM on Web Conference 2024, 2024

2023

Box²EL: Concept and Role Box Embeddings for the Description Logic EL++.

Mathias Jackermeier, Jiaoyan Chen, Ian Horrocks

CoRR, 2023

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

Dataset, January, 2021

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

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

Dataset, April, 2020

dtControl: decision tree learning algorithms for controller representation.

Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020