Jan Křetínský

Cited by

	All	Since 2016
Citations	1506	1063
h-index	23	20
i10-index	46	36

320

160

240

200920102011201220132014201520162017201820192020202112 39 54 59 67 71 121 147 147 204 245 310 6

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
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
Maximilian WeiningerTechnical University of MunichVerified email at tum.de
Pranav AshokTechnical University of MunichVerified email at in.tum.de
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	155	2014
The Hanoi Omega-Automata Format T Babiak, F Blahoudek, A Duret-Lutz, J Klein, J Křetínský, M David, ... Computer Aided Verification, 2015	60	2015
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	58	2016
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	52	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	40	2014
Probabilistic bisimulation: Naturally on distributions H Hermanns, J Krčál, J Křetínský International Conference on Concurrency Theory, 249-265, 2014	39	2014
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
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	37	2015
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
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
Stochastic real-time games with qualitative timed automata objectives T Brázdil, J Krčál, J Křetínský, A Kučera, V Řehák International Conference on Concurrency Theory, 207-221, 2010	25	2010
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	24	2017
Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory N Beneš, B Delahaye, U Fahrenberg, J Křetínský, A Legay International Conference on Concurrency Theory, 76-90, 2013	24	2013
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	24	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