Maximilian Schäffeler

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

Collaborative distances:

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

2026

Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints.

Kevin Kappelmann, Maximilian Schäffeler, Lukas Stevens, Mohammad Abdulaziz, Andrei Popescu, Dmitriy Traytel

CoRR, April, 2026

Type Annotations with Roundtrip Property.

Kevin Kappelmann, Maximilian Schäffeler, Lukas Stevens, Mohammad Abdulaziz, Andrei Popescu, Dmitriy Traytel

Arch. Formal Proofs, 2026

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

Formally Verified Solution Methods for Markov Decision Processes.

Maximilian Schäffeler

PhD thesis, 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 Thirty-Ninth AAAI Conference on Artificial Intelligence, 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