Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

    1. Reachability in Recursive Markov Decision Processes
      BRÁZDIL, Tomáš, Václav BROŽEK, Vojtěch FOREJT a Antonín KUČERA. Reachability in Recursive Markov Decision Processes. Online. Information and Computation. Elsevier, roč. 206, č. 5, s. 520-537. ISSN 0890-5401
      Podrobněji: https://is.muni.cz/publication/763101/cs

    2007

    1. Branching-Time Model-Checking of Probabilistic Pushdown Automata
      BRÁZDIL, Tomáš, Václav BROŽEK a Vojtěch FOREJT. Branching-Time Model-Checking of Probabilistic Pushdown Automata. Online. In Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems. Lisboa: Univerisity of Lisboa. s. 24-33
      Podrobněji: https://is.muni.cz/publication/727767/cs

    2000

    1. On Simulation-Checking with Sequential Systems
      KUČERA, Antonín. On Simulation-Checking with Sequential Systems. Online. Jifeng He, Masahiko Sato (Eds.). In Proceedings of 6th Asian Computing Science Conference (ASIAN 2000). Berlin, Heidelberg, New York: Springer. s. 133-148. Lecture Notes in Computer Science, vol. 1961. ISBN 3-540-41428-2
      Podrobněji: https://is.muni.cz/publication/345966/cs
Zobrazit podrobně
Zobrazeno: 24. 4. 2024 10:31