Maximilian Schäffeler

According to our database, Maximilian Schäffeler authored at least 8 papers between 2021 and 2025.

Collaborative distances:

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

2025

Artifact: Fixed Point Certificates for Reachability and Expected Rewards in MDPs.

Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zillken

Dataset, January, 2025

Fixed Point Certificates for Reachability and Expected Rewards in MDPs.

Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken

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

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs.

Bram Kohlen, Maximilian Schäffeler, Mohammad Abdulaziz, Arnd Hartmanns, Peter Lammich

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

Formally Verified Approximate Policy Iteration.

Maximilian Schäffeler, Mohammad Abdulaziz

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2023

Formally Verified Solution Methods for Markov Decision Processes.

Maximilian Schäffeler, Mohammad Abdulaziz

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Formally Verified Solution Methods for Infinite-Horizon Markov Decision Processes.

Maximilian Schäffeler, Mohammad Abdulaziz

CoRR, 2022

2021

Markov Decision Processes with Rewards.

Maximilian Schäffeler, Mohammad Abdulaziz

Arch. Formal Proofs, 2021

Verified Algorithms for Solving Markov Decision Processes.

Maximilian Schäffeler, Mohammad Abdulaziz

Arch. Formal Proofs, 2021