Maximilian Schlter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2018–2025
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICAART | An Efficient Compilation-Based Approach to Explaining Random Forests Through Decision Trees. | Alnis Murtovi, Maximilian Schlter, Bernhard Steffen |
| 2024 | TAP | Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks. | Maximilian Schlter, Bernhard Steffen |
| 2023 | RE | Revisiting the Performance-Explainability Trade-Off in Explainable Artificial Intelligence (XAI). | Barnaby Crook, Maximilian Schlter, Timo Speith |
| 2022 | ISoLA | Formal Methods Meet Machine Learning (F3ML). | Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlter, Marille Stoelinga, Bernhard Steffen |
| 2020 | ISoLA | Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees. | Marc Jasper, Maximilian Schlter, David Schmidt, Bernhard Steffen |
| 2019 | TACAS | RERS 2019: Combining Synthesis with Real-World Models. | Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager |
| 2018 | ISoLA | RERS 2018: CTL, LTL, and Reachability. | Marc Jasper, Malte Mues, Maximilian Schlter, Bernhard Steffen, Falk Howar |