Fakultät für Informatik - Technische Universität München Lehrstuhl für Effiziente Algorithmen

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Author="K{\v{r}}et{\'{i}}nsk{\'y}, Jan"

• Continuous-time stochastic games with time-bounded reachability
  Tomás̑ Brázdil, Vojtȇch Forejt, Jan Krc̑ál, Jan Kȓetínský, Antonín Kuc̑era
  Information and Computation 224, 2013, pp. 46-70
• EXPTIME-completeness of thorough refinement on modal transition systems
  Nikola Benes̑, Jan Kȓetínský, Kim G. Larsen, Jiȓí Srba
  Information and Computation 218, 2012, pp. 54-68
• Continuous-time stochastic games with time-bounded reachability
  Tomás̑ Brázdil, Vojtech Forejt, Jan Krc̑ál, Jan Kȓetínský, Kuc̑era Antonin
  Leibniz International Proceedings in Informatics (LIPIcs) 4, 2009, pp. 61-72