Karayel, Muhammed Emin
Verification of Derandomized Probabilistic Algorithms
2025
Dissertation
162 Seiten

Schäffeler, Maximilian
Formally Verified Solution Methods for Markov Decision Processes
2025
Dissertation
134 Seiten

Heidler, Katharina Beate
Formalization and Verification of Post-Quantum Cryptography
2025
Dissertation
107 Seiten