Schäffeler, Maximilian

2 publications

AAAI 2025 Formally Verified Approximate Policy Iteration Maximilian Schäffeler, Mohammad Abdulaziz

AAAI 2023 Formally Verified Solution Methods for Markov Decision Processes Maximilian Schäffeler, Mohammad Abdulaziz