Jan Křetínský

Cited by

	All	Since 2016
Citations	1578	1134
h-index	24	20
i10-index	46	37

320

160

240

200920102011201220132014201520162017201820192020202112 39 54 59 67 71 121 150 147 206 244 316 67

Public access

View all

42 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk UniversityVerified email at fi.muni.cz
Salomon SickertTechnische Universität MünchenVerified email at in.tum.de
Jan KrčálSaarland UniversityVerified email at fi.muni.cz
Javier EsparzaProfessor of Computer Science, Technical University of MunichVerified email at in.tum.de
Tobias MeggendorferPhD Student, Technical University of MunichVerified email at meggendorfer.de
Maximilian WeiningerTechnical University of MunichVerified email at tum.de
Pranav AshokTechnical University of MunichVerified email at in.tum.de
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Vojtěch ForejtDifflblueVerified email at diffblue.com
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
David ParkerProfessor of Computer Science, University of BirminghamVerified email at cs.bham.ac.uk
Antonin KuceraMasaryk UniversityVerified email at fi.muni.cz
Vojtech RehakMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Ivana CernaMasaryk University, Brno, Czech RepublicVerified email at fi.muni.cz
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Mikael Harkjær MøllerPh.D. Fellow, Computer Science, Aalborg UniversityVerified email at mikael.hm
Joachim KleinTU Dresden (formerly)Verified email at automata.tools

Jan Křetínský

Technical University of Munich (tenure-track assistant professor)

Verified email at fi.muni.cz - Homepage

formal verification probabilistic systems automata theory temporal logic learning in verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Verification of Markov decision processes using learning algorithms T Brázdil, K Chatterjee, M Chmelik, V Forejt, J Křetínský, M Kwiatkowska, ... International Symposium on Automated Technology for Verification and …, 2014	161	2014
Limit-deterministic Büchi automata for linear temporal logic S Sickert, J Esparza, S Jaax, J Křetínský International Conference on Computer Aided Verification, 312-332, 2016	65	2016
The Hanoi Omega-Automata Format T Babiak, F Blahoudek, A Duret-Lutz, J Klein, J Křetínský, M David, ... Computer Aided Verification, 2015	63	2015
The satisfiability problem for probabilistic CTL T Brázdil, V Forejt, J Kretinsky, A Kucera Logic in Computer Science, 2008. LICS'08. 23rd Annual IEEE Symposium on, 391-402, 2008	55	2008
From LTL to Deterministic Automata: A Safraless Compositional Approach J Esparza, J Křetínský Computer Aided Verification, 2014	53	2014
On determinism in modal transition systems N Beneš, J Křetínský, KG Larsen, J Srba Theoretical Computer Science 410 (41), 4026-4043, 2009	50	2009
Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis K Chatterjee, A Gaiser, J Křetínský International Conference on Computer Aided Verification, 559-575, 2013	49	2013
Deterministic Automata for the (F, G)-Fragment of LTL J Křetínský, J Esparza Computer Aided Verification, 7-22, 2012	49	2012
Continuous-time stochastic games with time-bounded reachability T Brázdil, V Forejt, J Krcal, J Kretınský, A Kucera FSTTCS. LIPIcs 4, 61-72, 2009	44	2009
Rabinizer 3: Safraless translation of LTL to small deterministic automata Z Komárková, J Křetínský International Symposium on Automated Technology for Verification and …, 2014	41	2014
Probabilistic bisimulation: Naturally on distributions H Hermanns, J Krčál, J Křetínský International Conference on Concurrency Theory, 249-265, 2014	40	2014
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes K Chatterjee, Z Komárková, J Křetínský Logic in Computer Science, 2015	39	2015
Checking thorough refinement on modal transition systems is exptime-complete N Beneš, J Křetínský, K Larsen, J Srba Theoretical Aspects of Computing-ICTAC 2009, 112-126, 2009	38	2009
Parametric modal transition systems N Beneš, J Křetínský, K Larsen, M Møller, J Srba Automated Technology for Verification and Analysis, 275-289, 2011	37	2011
Modal transition systems: Composition and LTL model checking N Beneš, I Černá, J Křetínský International Symposium on Automated Technology for Verification and …, 2011	35	2011
The 2019 comparison of tools for the analysis of quantitative formal models EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ... International Conference on Tools and Algorithms for the Construction and …, 2019	28	2019
Owl: A Library for -Words, Automata, and LTL J Křetínský, T Meggendorfer, S Sickert International Symposium on Automated Technology for Verification and …, 2018	28	2018
Faster statistical model checking for unbounded temporal properties P Daca, TA Henzinger, J Křetínský, T Petrov ACM Transactions on Computational Logic (TOCL) 18 (2), 1-25, 2017	26	2017
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games M Svoreňová, J Křetínský, M Chmelík, K Chatterjee, I Černá, C Belta Nonlinear Analysis: Hybrid Systems 23, 230-253, 2017	25	2017
Continuous-time stochastic games with time-bounded reachability T Brázdil, V Forejt, J Krčál, J Křetínský, A Kučera Information and Computation 224, 46-70, 2013	25	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors