Maximilian Schäffeler

According to our database¹, Maximilian Schäffeler authored at least 4 papers between 2021 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Formally Verified Solution Methods for Markov Decision Processes.

[BibT_eX]

[DOI]

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

2022

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

[BibT_eX]

[DOI]

CoRR, 2022

2021

Markov Decision Processes with Rewards.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2021

Verified Algorithms for Solving Markov Decision Processes.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2021