Scholar
Jan Křetínský
Google Scholar ID: w4KVyKAAAAAJ
Masaryk University Brno; Technical University of Munich
formal verification
probabilistic systems
automata theory
temporal logic
learning in verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,409
H-index
35
i10-index
82
Publications
20
Co-authors
53
list available
Publications
8 items
FoSeRL: Formal Sequential Robustness Certification for Reinforcement Learning Policies
2026
Cited
0
Robust Risk Under Evolving Uncertainty: A Wasserstein Counterpart of the Entropic Value-at-Risk
2026
Cited
0
dtControl2+$\varepsilon$: Trading Optimality for Explainability in MDPs via Decision Trees
2026
Cited
0
Explainably Safe Reinforcement Learning
2026
Cited
0
SemML 2.0: Synthesizing Controllers for LTL
2026
Cited
0
Logic of Fuzzy Paths
2026
Cited
0
SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
2025
Cited
0
Learning Algorithms for Verification of Markov Decision Processes
arXiv.org · 2024
Cited
0
Co-authors
11 total
Maximilian Weininger
Ruhr University Bochum
Tobias Meggendorfer
Assistant Professor, Lancaster University Leipzig
Tomas Brazdil
Masaryk University
Krishnendu Chatterjee
Professor, IST Austria
Javier Esparza
Professor of Computer Science, Technical University of Munich
Nikola Beneš
Assistant Professor, Faculty of Informatics, Masaryk University
David Parker
Professor of Computer Science, University of Oxford
Kim G. Larsen
Director, Professor Aalborg University
