Seguir
Jan Křetínský
Jan Křetínský
Masaryk University Brno; Technical University of Munich
Dirección de correo verificada de fi.muni.cz - Página principal
Título
Citado por
Citado por
Año
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
2552014
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
1472016
The Hanoi Omega-Automata Format
T Babiak, F Blahoudek, A Duret-Lutz, J Klein, J Křetínský, M David, ...
Computer Aided Verification, 2015
1262015
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
1042018
From LTL to Deterministic Automata: A Safraless Compositional Approach
J Esparza, J Křetínský
Computer Aided Verification, 2014
742014
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
712019
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
672008
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
662019
Deterministic Automata for the (F, G)-Fragment of LTL
J Křetínský, J Esparza
Computer Aided Verification, 7-22, 2012
662012
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
642020
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
642017
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
592013
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
542018
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
542015
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
542014
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
532017
On determinism in modal transition systems
N Beneš, J Křetínský, KG Larsen, J Srba
Theoretical Computer Science 410 (41), 4026-4043, 2009
532009
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
512017
Probabilistic bisimulation: Naturally on distributions
H Hermanns, J Krčál, J Křetínský
International Conference on Concurrency Theory, 249-265, 2014
512014
On correctness, precision, and performance in quantitative verification: QComp 2020 competition report
CE Budde, A Hartmanns, M Klauck, J Křetínský, D Parker, T Quatmann, ...
International symposium on leveraging applications of formal methods, 216-241, 2020
492020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20