Maximilian Schlüter

18 papers C 1Journal 8Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
An Efficient Compilation-Based Approach to Explaining Random Forests Through Decision Trees.
ICAART (2)
Alnis Murtovi, Maximilian Schlüter, Bernhard Steffen
2025 — conf
Computing Inflated Explanations for Boosted Trees: A Compilation-Based Approach.
The Combined Power of Research, Education, and Dissemination
Alnis Murtovi, Maximilian Schlüter, Bernhard Steffen
2025 — —
Towards formal explainability: Faithful distillation of deep neural networks into interpretable surrogate models.
Maximilian Schlüter
2025 — conf
Voting-Based Shortcuts through Random Forests for Obtaining Explainable Models.
Real Time and Such
Alnis Murtovi, Maximilian Schlüter, Bernhard Steffen
2024 C conf
Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks.
TAP
Maximilian Schlüter, Bernhard Steffen
2023 J jnl
Forest GUMP: a tool for verification and explanation.
Int. J. Softw. Tools Technol. Transf.
Alnis Murtovi, Alexander Bainczyk, Gerrit Nolte, Maximilian Schlüter, Bernhard Steffen
2023 — conf
Revisiting the Performance-Explainability Trade-Off in Explainable Artificial Intelligence (XAI).
REW
Barnaby Crook, Maximilian Schlüter, Timo Speith
2023 J jnl
Revisiting the Performance-Explainability Trade-Off in Explainable Artificial Intelligence (XAI).
CoRR
Barnaby Crook, Maximilian Schlüter, Timo Speith
2023 J jnl
The Power of Typed Affine Decision Structures: A Case Study.
CoRR
Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen
2023 J jnl
The power of typed affine decision structures: a case study.
Int. J. Softw. Tools Technol. Transf.
Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen
2023 J jnl
Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations.
CoRR
Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen
2023 J jnl
Towards rigorous understanding of neural networks via semantics-preserving transformations.
Int. J. Softw. Tools Technol. Transf.
Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen
2022 — conf
Formal Methods Meet Machine Learning (F3ML).
ISoLA (3)
Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen
2022 J jnl
Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Maximilian Schlüter, Gerrit Nolte
2020 J jnl
Characteristic invariants in Hennessy-Milner logic.
Acta Informatica
Marc Jasper, Maximilian Schlüter, Bernhard Steffen
2020 — conf
Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees.
ISoLA (4)
Marc Jasper, Maximilian Schlüter, David Schmidt, Bernhard Steffen
2019 — conf
RERS 2019: Combining Synthesis with Real-World Models.
TACAS (3)
Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlüter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager
2018 — conf
RERS 2018: CTL, LTL, and Reachability.
ISoLA (2)
Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar