Mathias Jackermeier

According to our database, Mathias Jackermeier authored at least 13 papers between 2020 and 2026.

Collaborative distances:

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

2026

Zero-Shot Instruction Following in RL via Structured LTL Representations.

Mathias Jackermeier, Mattia Giuri, Jacques Cloete, Alessandro Abate

CoRR, February, 2026

Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions.

Alessandro Abate, Giuseppe De Giacomo, Mathias Jackermeier, Jan Kretínský, Maximilian Prokop, Christoph Weinhuber

CoRR, February, 2026

Probabilistic Performance Guarantees for Multi-Task Reinforcement Learning.

Yannik Schnitzer, Mathias Jackermeier, Alessandro Abate, David Parker

CoRR, February, 2026

PlatoLTL: Learning to Generalize Across Symbols in LTL Instructions for Multi-Task RL.

Jacques Cloete, Mathias Jackermeier, Ioannis Havoutis, Alessandro Abate

CoRR, January, 2026

2025

Zero-Shot Instruction Following in RL via Structured LTL Representations.

Mattia Giuri, Mathias Jackermeier, Alessandro Abate

CoRR, December, 2025

DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL.

Mathias Jackermeier, Alessandro Abate

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

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