prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.

2013

• Continuous-Time Stochastic Games with Time-Bounded Reachability

  BRÁZDIL Tomáš FOREJT Vojtěch KRČÁL Jan KŘETÍNSKÝ Jan KUČERA Antonín

  Článek v odborném periodiku

  Information and Computation, rok: 2013, ročník: 224, vydání: 1, DOI

• Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory

  BENEŠ Nikola DELAHAYE Benoit FAHRENBERG Uli KŘETÍNSKÝ Jan LEGAY Axel

  Článek ve sborníku

  CONCUR 2013 - Concurrency Theory - 24th International Conference, rok: 2013

• MoTraS: A Tool for Modal Transition Systems and Their Extensions

  KŘETÍNSKÝ Jan SICKERT Salomon

  Článek ve sborníku

  Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, rok: 2013

• On Refinements of Boolean and Parametric Modal Transition Systems

  KŘETÍNSKÝ Jan SICKERT Salomon

  Článek ve sborníku

  Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, rok: 2013

• On time-average limits in deterministic and stochastic Petri nets

  BRÁZDIL Tomáš KORENČIAK Ľuboš KRČÁL Jan KŘETÍNSKÝ Jan ŘEHÁK Vojtěch

  Článek ve sborníku

  ACM/SPEC International Conference on Performance Engineering, ICPE'13, rok: 2013

• Rabinizer 2: Small Deterministic Automata for LTL\GU

  KŘETÍNSKÝ Jan LEDESMA GARZA Ruslan

  Článek ve sborníku

  Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, rok: 2013

2012

• Deterministic Automata for the (F,G)-fragment of LTL

  KŘETÍNSKÝ Jan ESPARZA Javier

  Článek ve sborníku

  Computer Aided Verification - 24th International Conference, rok: 2012

• Dual-Priced Modal Transition Systems with Time Durations

  BENEŠ Nikola KŘETÍNSKÝ Jan LARSEN Kim G. MOLLER Mikael H. SRBA Jiří

  Článek ve sborníku

  LPAR-18 - Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, rok: 2012

• EXPTIME-Completeness of Thorough Refinement on Modal Transition Systems

  BENEŠ Nikola KŘETÍNSKÝ Jan LARSEN Kim G. SRBA Jiří

  Článek v odborném periodiku

  Information and Computation, rok: 2012, ročník: 218, vydání: September, DOI

• Modal Process Rewrite Systems

  BENEŠ Nikola KŘETÍNSKÝ Jan

  Článek ve sborníku

  Theoretical Aspects of Computing - ICTAC 2012, rok: 2012