Jan Křetínský

Cited by

	All	Since 2016
Citations	1498	1057
h-index	23	19
i10-index	46	37

300

150

225

200920102011201220132014201520162017201820192020202111 39 53 59 68 70 122 153 148 199 249 299 1

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
Antonin KuceraMasaryk UniversityVerified email at fi.muni.cz
David ParkerProfessor of Computer Science, University of BirminghamVerified email at cs.bham.ac.uk
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	152	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	57	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	56	2008
From LTL to Deterministic Automata: A Safraless Compositional Approach J Esparza, J Křetínský Computer Aided Verification, 2014	51	2014
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	50	2013
Deterministic Automata for the (F, G)-Fragment of LTL J Křetínský, J Esparza Computer Aided Verification, 7-22, 2012	49	2012
On determinism in modal transition systems N Beneš, J Křetínský, KG Larsen, J Srba Theoretical Computer Science 410 (41), 4026-4043, 2009	49	2009
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	43	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	40	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
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
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	35	2015
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	34	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
Value iteration for long-run average reward in Markov decision processes P Ashok, K Chatterjee, P Daca, J Křetínský, T Meggendorfer International Conference on Computer Aided Verification, 201-221, 2017	25	2017
Continuous-time stochastic games with time-bounded reachability T BráZdil, V Forejt, J KrčáL, J KřEtíNský, AN KučEra Information and Computation 224, 46-70, 2013	25	2013
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
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

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