Artigos com autorizações de acesso público - Jan KřetínskýSaiba mais
7 artigos não disponíveis publicamente
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
Autorizações: Austrian Science Fund, European Commission
Statistical model checking: black or white?
P Ashok, P Daca, J Křetínský, M Weininger
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
Autorizações: German Research Foundation
Expected cost analysis of attack-defense trees
J Eisentraut, J Křetínský
Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019
Autorizações: German Research Foundation
Satisfiability of quantitative probabilistic ctl: Rise to the challenge
M Chodil, A Kučera, J Křetínský
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022
Autorizações: German Research Foundation
Assessing security of cryptocurrencies with attack-defense trees: proof of concept and future directions
J Eisentraut, S Holzer, K Klioba, J Křetínský, L Pin, A Wagner
Theoretical Aspects of Computing–ICTAC 2021: 18th International Colloquium …, 2021
Autorizações: German Research Foundation
Planning via model checking with decision-tree controllers
J Kiesbye, K Grover, P Ashok, J Křetínský
2022 International Conference On Robotics And Automation (ICRA), 4347-4354, 2022
Autorizações: German Research Foundation
Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games
M Weininger, K Grover, S Misra, J Křetínský
2021 60th IEEE Conference on Decision and Control (CDC), 3786-3793, 2021
Autorizações: German Research Foundation
63 artigos disponíveis publicamente
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
Autorizações: Austrian Science Fund, UK Engineering and Physical Sciences Research Council …
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
Autorizações: German Research Foundation
The Hanoi Omega-Automata Format
T Babiak, F Blahoudek, A Duret-Lutz, J Klein, J Křetínský, M David, ...
Computer Aided Verification, 2015
Autorizações: Austrian Science Fund, German Research Foundation, European Commission
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
Autorizações: German Research Foundation
From LTL to Deterministic Automata: A Safraless Compositional Approach
J Esparza, J Křetínský
Computer Aided Verification, 2014
Autorizações: Austrian Science Fund, European Commission
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
Autorizações: National Natural Science Foundation of China, German Research Foundation …
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
Autorizações: German Research Foundation, European Commission
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
Autorizações: German Research Foundation
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
Autorizações: German Research Foundation
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
Autorizações: Austrian Science Fund, German Research Foundation
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
Autorizações: German Research Foundation
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
Autorizações: Austrian Science Fund, German Research Foundation, European Commission
Probabilistic bisimulation: Naturally on distributions
H Hermanns, J Krčál, J Křetínský
International Conference on Concurrency Theory, 249-265, 2014
Autorizações: Austrian Science Fund, Chinese Academy of Sciences, German Research …
As informações de publicação e financiamento são determinadas automaticamente por um programa de computador