Tobias Meggendorfer
Scholar

Tobias Meggendorfer

Google Scholar ID: 2fzp1cAAAAAJ
Assistant Professor, Lancaster University Leipzig
Probabilistic Model CheckingAutomata TheoryGame TheoryLogic in Computer ScienceFormal
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
565
 
H-index
12
 
i10-index
19
 
Publications
20
 
Co-authors
20
list available
Contact
No contact links provided.
Publications
9 items
Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes
2026
Cited
0
UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)
2026
Cited
0
SemML 2.0: Synthesizing Controllers for LTL
2026
Cited
0
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
2025
Cited
0
Multiplicative Rewards in Markovian Models
2025
Cited
0
SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
2025
Cited
0
Sound Statistical Model Checking for Probabilities and Expected Rewards
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2024
Cited
5
What Are the Odds? Improving the foundations of Statistical Model Checking
arXiv.org · 2024
Cited
3
Resume (English only)
Co-authors
20 total
Jan Křetínský
Jan Křetínský
Masaryk University Brno; Technical University of Munich
Krishnendu Chatterjee
Krishnendu Chatterjee
Professor, IST Austria
Maximilian Weininger
Maximilian Weininger
Ruhr University Bochum
Djordje Zikelic
Djordje Zikelic
Singapore Management University
Co-author 5
Co-author 5
Amir Goharshady
Amir Goharshady
Associate Professor, University of Oxford
Patrick Wienhöft
Patrick Wienhöft
CeTI | Chair of algebraic and logic foundations of Computer Science, TU Dresden
Arnd Hartmanns
Arnd Hartmanns
University of Twente