RERS 2018: CTL, LTL, and Reachability. - Marc Jasper; Malte Mues; Maximilian Schlüter; Bernhard Steffen; Falk Howar (ISoLA (2), 2018)

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 (TACAS (3), 2019)

Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees. - Marc Jasper; Maximilian Schlüter; David Schmidt 001; Bernhard Steffen (ISoLA (4), 2020)

Characteristic invariants in Hennessy-Milner logic. - Marc Jasper; Maximilian Schlüter; Bernhard Steffen (Acta Informatica, 2020)

Formal Methods Meet Machine Learning (F3ML). - Kim G. Larsen; Axel Legay; Gerrit Nolte; Maximilian Schlüter; Mariëlle Stoelinga; Bernhard Steffen (ISoLA (3), 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)

Revisiting the Performance-Explainability Trade-Off in Explainable Artificial Intelligence (XAI). - Barnaby Crook; Maximilian Schlüter; Timo Speith (REW, 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., 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., 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., 2023)

Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks. - Maximilian Schlüter; Bernhard Steffen (TAP, 2024)

Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks (TAP 24 Artifact). - Maximilian Schlüter; Bernhard Steffen (Zenodo, 2024)

Voting-Based Shortcuts through Random Forests for Obtaining Explainable Models. - Alnis Murtovi; Maximilian Schlüter; Bernhard Steffen (Real Time and Such, 2025)

Computing Inflated Explanations for Boosted Trees: A Compilation-Based Approach. - Alnis Murtovi; Maximilian Schlüter; Bernhard Steffen (The Combined Power of Research, Education, and Dissemination, 2025)

An Efficient Compilation-Based Approach to Explaining Random Forests Through Decision Trees. - Alnis Murtovi; Maximilian Schlüter; Bernhard Steffen (ICAART (2), 2025)