Thomas Brihaye, Krishnendu Chatterjee, Stefanie Mohr and Maximilian Weininger. Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
Marta Grobelna, Jan Kretinsky and Maximilian Weininger. Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
April’25: Presentations at Storm-days and ROCKS’25.
April’25: Revised Practitioner’s Guide to MDP Model Checking Algorithms (preprint available here) accepted in the STTT invited special issue of TACAS’23 .
