Maximilian Weininger

Theoretical computer scientist researching formal verification of safety-critical systems.

  • October’26: Organized ROCKS’26
  • August’26: Serving as member of the AAAI’27 program committee
  • July’26: Two papers accepted at FMCAD’26:
    • Tereza Kinská, Jan Kretinsky, Tobias Meggendorfer, Sabine Rieder, Maximilian Weininger: dtControl2+epsilon: Trading Optimality for Explainability in MDPs via Decision Trees (preprint)
    • Jule Schmidt, Maximilian Weininger, Clemens Dubslaff, David Parker, Nils Jansen: Property-driven Causal Abstractions for Markov Decision Processes (preprint)
  • July’26: Co-organized Dagstuhl Research Meeting “Challenges in Robust Decision-Making Under Uncertainty”
  • May’26: Paper accepted at IJCAI’26
    • Joshua Wendland, Markel Zubia, Roman Andriushchenko, Maris F. L. Galesloot, Milan Ceska, Henrik von Kleist, Thiago D. Simao, Maximilian Weininger, Nils Jansen: Missingness-MDPs: Bridging the Theory of Missing Data and POMDPs (preprint)
  • April’26: Organized the fifth AI-FM workshop in Bochum
  • March’26: Co-organized AQUARIUM, the 1st Workshop on Automated Quantification of Risk in Uncertain Models
  • March’26: The The revised practitioner’s guide to MDP model checking algorithms in the TACAS 2023 special issue published in STTT is available online.
  • February’26: Invited talk “How can sampling paths help solving Markov decision processes” in the Seminar for Formal Methods & Machine Learning of the TU Graz
  • February’26: Serving as member of the CAV’26 program committee
  • December’25: Paper accepted at AAMAS’26
    • Miriam Schäfers, Merlijn Krale, Thiago D. Simao, Nils Jansen, Maximilian Weininger: Perception-Based Beliefs for POMDPs with Visual Observations (preprint)
  • December’25: Organized the fourth AI-FM workshop in Bochum
  • August’25: Serving as member of the AAAI’26 program committee
  • July’25: Organized the third AI-FM workshop in Bochum
  • 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, 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, Maximilian Weininger. Risk-aware Markov Decision Processes Using Cumulative Prospect Theory (preprint)
    • Marta Grobelna, Jan Kretinsky, 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, 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, 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, Daniel Zilken. Fixed Point Certificates for Reachability and Expected Rewards in MDPs (preprint)
    • Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft. Sound Statistical Model Checking for Probabilities and Expected Rewards (preprint)