News

• June’25: Two papers accepted at QEST+FORMATS’25:
  • Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, and Patrick Wienhöft. Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality
  • Tobias Meggendorfer, Maximilian Weininger, and Patrick Wienhöft. What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes (preprint)
• April’25: Two papers accepted at LICS’25:
  • Thomas Brihaye, Krishnendu Chatterjee, Stefanie Mohr, and Maximilian Weininger. Risk-aware Markov Decision Processes Using Cumulative Prospect Theory (preprint)
  • Marta Grobelna, Jan Kretinsky, and Maximilian Weininger. Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games (preprint)
• April’25: Presentations at Storm-days and ROCKS’25.
• April’25: Paper accepted in the STTT invited special issue of TACAS’23:
  • Arnd Hartmanns, Sebastian Junges, Tim Quatmann, and Maximilian Weininger: Revised Practitioner’s Guide to MDP Model Checking Algorithms (preprint).
• March’25: Started as a PostDoc in the AI-FM group lead by Nils Jansen at the Ruhr-University Bochum.
• February’25: Paper “Sound Statistical Model Checking for Probabilities and Expected Rewards” selected as ETAPS distinguished paper.
• December’24: Paper accepted at AAAI’25:
  • Tobias Meggendorfer, Maximilian Weininger, and Patrick Wienhöft. Solving Robust Markov Decision Processes: Generic, Reliable, Efficient (preprint)
• December’24: Two papers accepted at TACAS’25:
  • Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, and Daniel Zilken. Fixed Point Certificates for Reachability and Expected Rewards in MDPs (preprint)
  • Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, and Patrick Wienhöft. Sound Statistical Model Checking for Probabilities and Expected Rewards (preprint)