Maximilian Schlüter

According to our database, Maximilian Schlüter authored at least 11 papers between 2018 and 2024.

Collaborative distances:

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

2024

Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks.

Maximilian Schlüter, Bernhard Steffen

Proceedings of the Tests and Proofs - 18th International Conference, 2024

2023

Towards rigorous understanding of neural networks via semantics-preserving transformations.

Maximilian Schlüter, Gerrit Nolte, Alnis Murtovi, Bernhard Steffen

Int. J. Softw. Tools Technol. Transf., June, 2023

The power of typed affine decision structures: a case study.

Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen

Int. J. Softw. Tools Technol. Transf., June, 2023

Forest GUMP: a tool for verification and explanation.

Alnis Murtovi, Alexander Bainczyk, Gerrit Nolte, Maximilian Schlüter, Bernhard Steffen

Int. J. Softw. Tools Technol. Transf., June, 2023

Revisiting the Performance-Explainability Trade-Off in Explainable Artificial Intelligence (XAI).

Barnaby Crook, Maximilian Schlüter, Timo Speith

Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

2022

Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models.

Maximilian Schlüter, Gerrit Nolte

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

Formal Methods Meet Machine Learning (F3ML).

Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

2020

Characteristic invariants in Hennessy-Milner logic.

Marc Jasper, Maximilian Schlüter, Bernhard Steffen

Acta Informatica, 2020

Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees.

Marc Jasper, Maximilian Schlüter, David Schmidt, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

2019

RERS 2019: Combining Synthesis with Real-World Models.

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

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

2018

RERS 2018: CTL, LTL, and Reachability.

Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018