Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

    1. BRÁZDIL, Tomáš, Vojtěch FOREJT, Jan KŘETÍNSKÝ a Antonín KUČERA. The Satisfiability Problem for Probabilistic CTL. In 23rd IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, USA, Proceedings. Los Alamitos, California: IEEE Computer Society. s. 391-402, 10 s. ISBN 978-0-7695-3183-0. 2008.

    2006

    1. BRÁZDIL, Tomáš, Václav BROŽEK, Vojtěch FOREJT a Antonín KUČERA. Stochastic Games with Branching-Time Winning Objectives. In 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, Washington, USA, Proceedings. Los Alamitos, California: IEEE Computer Society. s. 349-358. ISBN 0-7695-2631-4. 2006.
Zobrazit podrobně
Zobrazeno: 29. 3. 2024 07:19