Jan Křetínský

Cited by

	All	Since 2019
Citations	2911	1937
h-index	31	23
i10-index	72	54

380

190

285

200920102011201220132014201520162017201820192020202120222023202411 36 48 56 67 76 120 156 153 221 237 306 302 361 368 348

Public access

View all

64 articles

7 articles

available

not available

Based on funding mandates

Co-authors

Maximilian WeiningerTechnical University of MunichVerified email at tum.de
Tobias MeggendorferAssistant Professor, Lancaster University LeipzigVerified email at meggendorfer.de
Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
Salomon SickertVerified email at tum.de
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Javier EsparzaProfessor of Computer Science, Technical University of MunichVerified email at in.tum.de
Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk UniversityVerified email at fi.muni.cz
Pranav AshokCARIAD SEVerified email at cariad.technology
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Jan KrčálSaarland UniversityVerified email at fi.muni.cz
Vojtěch ForejtDifflblueVerified email at diffblue.com
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Antonin KuceraMasaryk UniversityVerified email at fi.muni.cz
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Martin ChmelíkSoftware Engineer, GoogleVerified email at google.com
Joachim KleinTU Dresden (formerly)Verified email at automata.tools
Vojtech RehakMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
Stefanie MohrTechnical University of MunichVerified email at in.tum.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de

Jan Křetínský

Masaryk University Brno; Technical University of Munich

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, ... Automated Technology for Verification and Analysis: 12th International …, 2014	242	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	142	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	122	2015
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	99	2018
From LTL to Deterministic Automata: A Safraless Compositional Approach J Esparza, J Křetínský Computer Aided Verification, 2014	73	2014
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	66	2008
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report) 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	65	2019
From LTL and limit-deterministic Büchi automata to deterministic parity automata J Esparza, J Křetínský, JF Raskin, S Sickert International Conference on Tools and Algorithms for the Construction and …, 2017	63	2017
Deterministic Automata for the (F, G)-Fragment of LTL J Křetínský, J Esparza Computer Aided Verification, 7-22, 2012	63	2012
DeepAbstract: neural network abstraction for accelerating verification P Ashok, V Hashemi, J Křetínský, S Mohr International Symposium on Automated Technology for Verification and …, 2020	62	2020
PAC statistical model checking for Markov decision processes and stochastic games P Ashok, J Křetínský, M Weininger Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019	58	2019
Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis K Chatterjee, A Gaiser, J Křetínský Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	58	2013
Rabinizer 3: Safraless translation of LTL to small deterministic automata Z Komárková, J Křetínský Automated Technology for Verification and Analysis: 12th International …, 2014	54	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	53	2009
Rabinizer 4: From LTL to your favourite deterministic automaton J Křetínský, T Meggendorfer, S Sickert, C Ziegler International Conference on Computer Aided Verification, 567-577, 2018	52	2018
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	52	2015
Probabilistic bisimulation: Naturally on distributions H Hermanns, J Krčál, J Křetínský International Conference on Concurrency Theory, 249-265, 2014	50	2014
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	48	2017
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	47	2017
Formalizing and guaranteeing human-robot interaction H Kress-Gazit, K Eder, G Hoffman, H Admoni, B Argall, R Ehlers, ... Communications of the ACM 64 (9), 78-84, 2021	43	2021

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

Follow

Cited by

Co-authors