Maximilian Schffeler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Formally Verified Approximate Policy Iteration. | Maximilian Schffeler, Mohammad Abdulaziz |
| 2025 | CAV | A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs. | Bram Kohlen, Maximilian Schffeler, Mohammad Abdulaziz, Arnd Hartmanns, Peter Lammich |
| 2025 | TACAS | Fixed Point Certificates for Reachability and Expected Rewards in MDPs. | Krishnendu Chatterjee, Tim Quatmann, Maximilian Schffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken |
| 2023 | AAAI | Formally Verified Solution Methods for Markov Decision Processes. | Maximilian Schffeler, Mohammad Abdulaziz |