Mathias Jackermeier

14 papers A* 2Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
PlatoLTL: Learning to Generalize Across Symbols in LTL Instructions for Multi-Task RL.
CoRR
Jacques Cloete, Mathias Jackermeier, Ioannis Havoutis, Alessandro Abate
2026 J jnl
Probabilistic Performance Guarantees for Multi-Task Reinforcement Learning.
CoRR
Yannik Schnitzer, Mathias Jackermeier, Alessandro Abate, David Parker
2026 J jnl
Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions.
CoRR
Alessandro Abate, Giuseppe De Giacomo, Mathias Jackermeier, Jan Kretínský, Maximilian Prokop, Christoph Weinhuber
2026 J jnl
Zero-Shot Instruction Following in RL via Structured LTL Representations.
CoRR
Mathias Jackermeier, Mattia Giuri, Jacques Cloete, Alessandro Abate
2025 A* conf
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL.
ICLR
Mathias Jackermeier, Alessandro Abate
2025 J jnl
Zero-Shot Instruction Following in RL via Structured LTL Representations.
CoRR
Mattia Giuri, Mathias Jackermeier, Alessandro Abate
2024 J jnl
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications.
CoRR
Mathias Jackermeier, Alessandro Abate
2024 A* conf
Dual Box Embeddings for the Description Logic EL
WWW
Mathias Jackermeier, Jiaoyan Chen, Ian Horrocks
2023 J jnl
Box
CoRR
Mathias Jackermeier, Jiaoyan Chen, Ian Horrocks
2021 — conf
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts.
TACAS (2)
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav
2021 J jnl
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts.
CoRR
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav
2020 J jnl
dtControl: Decision Tree Learning Algorithms for Controller Representation.
CoRR
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
2020 — conf
dtControl: decision tree learning algorithms for controller representation.
HSCC
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
2020 — conf
dtControl: decision tree learning algorithms for controller representation.
HSCC
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani