Masaryk University

Publication Records

česky | in English

Filter publications

    2008

    1. Discounted Properties of Probabilistic Pushdown Automata
      BRÁZDIL, Tomáš, Václav BROŽEK, Jan HOLEČEK and Antonín KUČERA. Discounted Properties of Probabilistic Pushdown Automata. In Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008. Berlin Heidelberg New York: Springer, 2008, p. 230-242. ISBN 978-3-540-89438-4.
      Name in Czech: Diskontované vlastnosti pravděpodobnostních zásobníkových automatů
      RIV/00216224:14330/08:00026776 Proceedings paper. Informatics. English. Germany.
      Brázdil, Tomáš (203 Czech Republic) -- Brožek, Václav (203 Czech Republic) -- Holeček, Jan (203 Czech Republic) -- Kučera, Antonín (203 Czech Republic, guarantor)
      Keywords in English: Markov chains; discounting; pushdown automata
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/5/2009 15:11.
      More: https://is.muni.cz/publication/794015/en

    2007

    1. Branching-Time Model-Checking of Probabilistic Pushdown Automata
      BRÁZDIL, Tomáš, Václav BROŽEK and 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, p. 24-33.
      Name in Czech: Ověřování modelu pro logiky větvícího se času nad pravděpodobnostními zásobníkovými automaty
      Informatics. English. Portugal.
      Keywords in English: model-checking; Markov chains; temporal logics; probabilistic pushdown automata
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Ing. Dana Komárková, učo 1475. Changed: 27/6/2008 09:30.
      More: https://is.muni.cz/publication/727767/en

    2006

    1. Model Checking Probabilistic Pushdown Automata
      ESPARZA, Javier, Antonín KUČERA and Richard MAYR. Model Checking Probabilistic Pushdown Automata. Logical Methods in Computer Science. 2006, vol. 2, 1-2, p. 1-31. ISSN 1860-5974.
      LMCS home page
      Name in Czech: Ověřování formulí temporálních logik pro pravděpodobnostní zásobníkové automaty
      RIV/00216224:14330/06:00016670 Article in a journal. Informatics. English. Germany.
      Esparza, Javier (724 Spain) -- Kučera, Antonín (203 Czech Republic, guarantor) -- Mayr, Richard (276 Germany)
      Keywords in English: pushdown automata; Markov chains; probabilistic model checking
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 22/11/2006 17:26.
      More: https://is.muni.cz/publication/630845/en
Displayed: 18/5/2024 03:27