Jan Křetínský
Jan Křetínský
Technical University of Munich (tenure-track assistant professor)
Geverifieerd e-mailadres voor fi.muni.cz - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
1262014
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
542008
The Hanoi Omega-Automata Format
T Babiak, F Blahoudek, A Duret-Lutz, J Klein, J Křetínský, M David, ...
Computer Aided Verification, 2015
512015
From LTL to Deterministic Automata: A Safraless Compositional Approach
J Esparza, J Křetínský
Computer Aided Verification, 2014
512014
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
492013
On determinism in modal transition systems
N Beneš, J Křetínský, KG Larsen, J Srba
Theoretical Computer Science 410 (41), 4026-4043, 2009
482009
Deterministic Automata for the (F, G)-Fragment of LTL
J Křetínský, J Esparza
Computer Aided Verification, 7-22, 2012
472012
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
462016
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
422009
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
392014
Probabilistic bisimulation: Naturally on distributions
H Hermanns, J Krčál, J Křetínský
International Conference on Concurrency Theory, 249-265, 2014
382014
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
362011
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
362009
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
332015
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
322011
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
262010
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
242013
Rabinizer 2: Small Deterministic Automata for LTL ∖ GU
J Křetínský, RL Garza
Automated Technology for Verification and Analysis, 446-450, 2013
232013
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M Svoreňová, J Křetínský, M Chmelík, K Chatterjee, I Černá, C Belta
Nonlinear Analysis: Hybrid Systems 23, 230-253, 2017
222017
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
212013
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20