Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

    1. Discounted Properties of Probabilistic Pushdown Automata
      BRÁZDIL, Tomáš, Václav BROŽEK, Jan HOLEČEK a 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, s. 230-242. ISBN 978-3-540-89438-4.
      Název česky: Diskontované vlastnosti pravděpodobnostních zásobníkových automatů
      RIV/00216224:14330/08:00026776 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika) -- Brožek, Václav (203 Česká republika) -- Holeček, Jan (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant)
      Klíčová slova anglicky: Markov chains; discounting; pushdown automata
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 5. 2009 15:11.
      Podrobněji: https://is.muni.cz/publication/794015/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.
      Název česky: Ověřování modelu pro logiky větvícího se času nad pravděpodobnostními zásobníkovými automaty
      Informatika. angličtina. Portugalsko.
      Klíčová slova anglicky: model-checking; Markov chains; temporal logics; probabilistic pushdown automata
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: Ing. Dana Komárková, učo 1475. Změněno: 27. 6. 2008 09:30.
      Podrobněji: https://is.muni.cz/publication/727767/cs

    2006

    1. Model Checking Probabilistic Pushdown Automata
      ESPARZA, Javier, Antonín KUČERA a Richard MAYR. Model Checking Probabilistic Pushdown Automata. Logical Methods in Computer Science. 2006, roč. 2, 1-2, s. 1-31. ISSN 1860-5974.
      LMCS home page
      Název česky: Ověřování formulí temporálních logik pro pravděpodobnostní zásobníkové automaty
      RIV/00216224:14330/06:00016670 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Esparza, Javier (724 Španělsko) -- Kučera, Antonín (203 Česká republika, garant) -- Mayr, Richard (276 Německo)
      Klíčová slova anglicky: pushdown automata; Markov chains; probabilistic model checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 17:26.
      Podrobněji: https://is.muni.cz/publication/630845/cs
Zobrazeno: 3. 5. 2024 18:56