Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

    1. Deciding probabilistic bisimilarity over infinite-state probabilistic systems
      BRÁZDIL, Tomáš, Antonín KUČERA a Oldřich STRAŽOVSKÝ. Deciding probabilistic bisimilarity over infinite-state probabilistic systems. Acta informatica. Berlin: Springer-Verlag, 2008, roč. 45, č. 2, s. 131-154. ISSN 0001-5903.
      Název česky: Rozhodnutelnost pravděpodobnostní bisimulační ekvivalence pro systémy s nekonečně mnoha stavy
      RIV/00216224:14330/08:00025864 Článek v odborném periodiku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Stražovský, Oldřich (203 Česká republika)
      Klíčová slova anglicky: probabilistic bisimilarity; infinite-state systems
      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:10.
      Podrobněji: https://is.muni.cz/publication/763242/cs
    2. On the Controller Synthesis for Finite-State Markov Decision Processes
      KUČERA, Antonín a Oldřich STRAŽOVSKÝ. On the Controller Synthesis for Finite-State Markov Decision Processes. Fundamenta Informaticae. Polsko: IOS Press, Nizozemí, 2008, roč. 82, 1-2, s. 141-153. ISSN 0169-2968.
      Název česky: Algoritmická syntéza řídících jednotek pro konečné Markovovy rozhodovací procesy
      RIV/00216224:14330/08:00025760 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Kučera, Antonín (203 Česká republika, garant) -- Stražovský, Oldřich (203 Česká republika)
      Klíčová slova anglicky: Markov decision process; temporal logic
      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:13.
      Podrobněji: https://is.muni.cz/publication/755166/cs

    2005

    1. On the Controller Synthesis for Finite-State Markov Decision Processes
      KUČERA, Antonín a Oldřich STRAŽOVSKÝ. On the Controller Synthesis for Finite-State Markov Decision Processes. In 25th International Conference on Foundations of Software Technology and Theoretical Computer Science. Berlin Heidelberg New York: Springer, 2005, s. 541-552. ISBN 3-540-30495-9.
      Název česky: O syntéze řídících jednotek pro Markovovy rozhodovací procesy s konečně mnoha stavy
      RIV/00216224:14330/05:00012780 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Kučera, Antonín (203 Česká republika, garant) -- Stražovský, Oldřich (203 Česká republika)
      Klíčová slova anglicky: Controller Synthesis; Markov Decision Processes
      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: 30. 3. 2010 20:22.
      Podrobněji: https://is.muni.cz/publication/590127/cs
    2. On the Decidability of Temporal Properties of Probabilistic Pushdown Automata
      BRÁZDIL, Tomáš, Antonín KUČERA a Oldřich STRAŽOVSKÝ. On the Decidability of Temporal Properties of Probabilistic Pushdown Automata. V. Diekert, B. Durand (Eds.). In Proceedings of 22nd Symposium on Theoretical Aspects of Computer Science (STACS 2005). Berlin: Springer, 2005, s. 145-157. ISBN 3-540-24998-2.
      Název česky: O rozhodnutelnosti temporálních vlastností zásobníkových automatů
      RIV/00216224:14330/05:00012349 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Stražovský, Oldřich (203 Česká republika)
      Klíčová slova anglicky: probabilistic pushdown automata; probabilistic temporal logics
      Změnil: doc. RNDr. Tomáš Brázdil, Ph.D., učo 4074. Změněno: 13. 2. 2006 12:42.
      Podrobněji: https://is.muni.cz/publication/563891/cs

    2004

    1. Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems
      BRÁZDIL, Tomáš, Antonín KUČERA a Oldřich STRAŽOVSKÝ. Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems. P. Gardner, N. Yoshida (Eds.). In Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004). Berlin: Springer, 2004, s. 193-208. ISBN 3-540-22940-X.
      Název česky: Rozhodnutelnost pravděpodobnostní bisimulace pro nekonečně-stavové pravděpodobnostní systémy
      RIV/00216224:14330/04:00010251 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Stražovský, Oldřich (203 Česká republika)
      Klíčová slova anglicky: probabilistic bisimilarity; probabilistic systems
      Změnil: doc. RNDr. Tomáš Brázdil, Ph.D., učo 4074. Změněno: 4. 2. 2005 15:02.
      Podrobněji: https://is.muni.cz/publication/557410/cs
Zobrazeno: 2. 5. 2024 17:13