Contact

All Stories

  1. Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality

    Article • October 2025, Springer Science + Business Media

    Carlos E. Budde, Tobias Meggendorfer

  2. What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes

    Article • October 2025, Springer Science + Business Media

    Tobias Meggendorfer

  3. Learning Algorithms for Verification of Markov Decision Processes

    Article • TheoretiCS, April 2025, Centre pour la Communication Scientifique Directe (CCSD)

    Tobias Meggendorfer

  4. Sound Statistical Model Checking for Probabilities and Expected Rewards

    Article • January 2025, Springer Science + Business Media

    Carlos E. Budde, Tobias Meggendorfer

  5. SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning

    Article • January 2025, Springer Science + Business Media

    Tobias Meggendorfer

  6. Quantitative Bounds on Resource Usage of Probabilistic Programs

    Article • Proceedings of the ACM on Programming Languages, April 2024, ACM (Association for Computing Machinery)

    S. Hitarth, Tobias Meggendorfer

  7. Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games

    Article • January 2024, Springer Science + Business Media

    Tobias Meggendorfer

  8. Correct Approximation of Stationary Distributions

    Article • January 2023, Springer Science + Business Media

    Tobias Meggendorfer

  9. Guessing Winning Policies in LTL Synthesis by Semantic Learning

    Article • January 2023, Springer Science + Business Media

    Tobias Meggendorfer

  10. MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives

    Article • January 2023, Springer Science + Business Media

    Tobias Meggendorfer

  11. PET – A Partial Exploration Tool for Probabilistic Verification

    Article • January 2022, Springer Science + Business Media

    Tobias Meggendorfer

  12. Index appearance record with preorders

    Article • Acta Informatica, December 2021, Springer Science + Business Media

    Tobias Meggendorfer

  13. Of Cores: A Partial-Exploration Framework for Markov Decision Processes

    Article • Logical Methods in Computer Science, October 2020, Centre pour la Communication Scientifique Directe (CCSD)

    Tobias Meggendorfer

  14. Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes

    Article • December 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Tobias Meggendorfer

  15. Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis

    Article • January 2019, Springer Science + Business Media

    Tobias Meggendorfer

  16. Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes

    Article • July 2018, ACM (Association for Computing Machinery)

    Tobias Meggendorfer

  17. Owl: A Library for $$\omega $$-Words, Automata, and LTL

    Article • January 2018, Springer Science + Business Media

    Tobias Meggendorfer

  18. Rabinizer 4: From LTL to Your Favourite Deterministic Automaton

    Article • January 2018, Springer Science + Business Media

    Tobias Meggendorfer

  19. Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes

    Article • January 2017, Springer Science + Business Media

    Tobias Meggendorfer

  20. Index Appearance Record for Transforming Rabin Automata into Parity Automata

    Article • January 2017, Springer Science + Business Media

    Tobias Meggendorfer

  21. Value Iteration for Long-Run Average Reward in Markov Decision Processes

    Article • January 2017, Springer Science + Business Media

    Tobias Meggendorfer