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 | 232 | 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 | 137 | 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 | 119 | 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 | 94 | 2018 |
From LTL to Deterministic Automata: A Safraless Compositional Approach J Esparza, J Křetínský Computer Aided Verification, 2014 | 74 | 2014 |
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 | 64 | 2017 |
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 | 64 | 2008 |
Deterministic Automata for the (F, G)-Fragment of LTL J Křetínský, J Esparza Computer Aided Verification, 7-22, 2012 | 62 | 2012 |
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 | 61 | 2019 |
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 | 58 | 2020 |
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 |
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 | 53 | 2019 |
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 | 50 | 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 | 50 | 2015 |
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 | 49 | 2017 |
Probabilistic bisimulation: Naturally on distributions H Hermanns, J Krčál, J Křetínský International Conference on Concurrency Theory, 249-265, 2014 | 49 | 2014 |
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 | 45 | 2017 |
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 |