Filtrování

    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. Information and Computation. Elsevier, 2008, 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. In Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems. Lisboa: Univerisity of Lisboa, 2007, 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. Jifeng He, Masahiko Sato (Eds.). In Proceedings of 6th Asian Computing Science Conference (ASIAN 2000). Berlin, Heidelberg, New York: Springer, 2000, 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ě