Maximilian Schlüter

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 13

Top Topics

Preserving Transformations

Affine Moment Invariants

Top Venues

Int. J. Softw. Tools Technol. Transf.

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen
The Power of Typed Affine Decision Structures: A Case Study. CoRR (2023)
Alnis Murtovi, Alexander Bainczyk, Gerrit Nolte, Maximilian Schlüter, Bernhard Steffen
Forest GUMP: a tool for verification and explanation. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen
Towards rigorous understanding of neural networks via semantics-preserving transformations. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen
Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations. CoRR (2023)
Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen
The power of typed affine decision structures: a case study. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Barnaby Crook, Maximilian Schlüter, Timo Speith
Revisiting the Performance-Explainability Trade-Off in Explainable Artificial Intelligence (XAI). REW (2023)
Barnaby Crook, Maximilian Schlüter, Timo Speith
Revisiting the Performance-Explainability Trade-Off in Explainable Artificial Intelligence (XAI). CoRR (2023)
Maximilian Schlüter, Gerrit Nolte
Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 82 (2022)
Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen
Formal Methods Meet Machine Learning (F3ML). ISoLA (3) (2022)
Marc Jasper, Maximilian Schlüter, Bernhard Steffen
Characteristic invariants in Hennessy-Milner logic. Acta Informatica 57 (3-5) (2020)
Marc Jasper, Maximilian Schlüter, David Schmidt, Bernhard Steffen
Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees. ISoLA (4) (2020)
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
RERS 2019: Combining Synthesis with Real-World Models. TACAS (3) (2019)
Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar
RERS 2018: CTL, LTL, and Reachability. ISoLA (2) (2018)