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

2010

• Process Algebra for Modal Transition Systemses

  BENEŠ Nikola KŘETÍNSKÝ Jan

  Article in Proceedings

  MEMICS 2010, year: 2010

• Stochastic Real-Time Games with Qualitative Timed Automata Objectives

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

  Article in Proceedings

  CONCUR 2010 - Concurrency Theory, year: 2010

2009

• 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

  Article in Proceedings

  IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), year: 2009

• Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

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

  Article in Proceedings

  Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings, year: 2009

• On Determinism in Modal Transition Systems

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

  Article in Periodical

  Theoretical Computer Science, year: 2009, volume: 410/2009, edition: 41

2008

• The Satisfiability Problem for Probabilistic CTL

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

  Article in Proceedings

  23rd IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, USA, Proceedings, year: 2008