Jan Křetínský
Scholar

Jan Křetínský

Google Scholar ID: w4KVyKAAAAAJ
Masaryk University Brno; Technical University of Munich
formal verificationprobabilistic systemsautomata theorytemporal logiclearning in verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,409
 
H-index
35
 
i10-index
82
 
Publications
20
 
Co-authors
53
list available
Contact
No contact links provided.
Publications
7 items
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
Resume (English only)
Co-authors
53 total
Maximilian Weininger
Maximilian Weininger
Ruhr University Bochum
Tobias Meggendorfer
Tobias Meggendorfer
Assistant Professor, Lancaster University Leipzig
Tomas Brazdil
Tomas Brazdil
Masaryk University
Co-author 4
Co-author 4
Krishnendu Chatterjee
Krishnendu Chatterjee
Professor, IST Austria
Javier Esparza
Javier Esparza
Professor of Computer Science, Technical University of Munich
Co-author 7
Co-author 7
Nikola Beneš
Nikola Beneš
Assistant Professor, Faculty of Informatics, Masaryk University