Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 3 Good Health and Well-being
Fingerprint
Dive into the research topics where Tobias Meggendorfer is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality
Budde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M. & Wienhöft, P., 2026, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Proceedings. Prabhakar, P. & Vandin, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 83-94 12 p. (Lecture Notes in Computer Science; vol. 16143 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes
Meggendorfer, T., Weininger, M. & Wienhöft, P., 2026, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Proceedings. Prabhakar, P. & Vandin, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 195-218 24 p. (Lecture Notes in Computer Science; vol. 16143 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Learning Algorithms for Verification of Markov Decision Processes
Brázdil, T., Chatterjee, K., Chmelik, M., Forejt, V., Křetínský, J., Kwiatkowska, M., Meggendorfer, T., Parker, D. & Ujma, M., 2025, In: TheoretiCS. 4, 10.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
Multiplicative Rewards in Markovian Models
Baier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., 2025, Proceedings - 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025. Institute of Electrical and Electronics Engineers Inc., p. 499-512 14 p. (Proceedings - Symposium on Logic in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
Křetínský, J., Meggendorfer, T., Prokop, M. & Zarkhah, A., 2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 233-253 21 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access2 Scopus citations