Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

    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. 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

    2007

    1. Stochastic Game Logic
      BAIER, Christel, Tomáš BRÁZDIL, Marcus GRÖSSER a Antonín KUČERA. Stochastic Game Logic. In Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007). Los Alamitos, Washington, Tokyo: IEEE Computer Society, 2007, s. 227-236. ISBN 0-7695-2883-X.
      Název česky: Logika pro náhodnostní hry
      RIV/00216224:14330/07:00022945 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Baier, Christel (276 Německo) -- Brázdil, Tomáš (203 Česká republika) -- Größer, Marcus (276 Německo) -- Kučera, Antonín (203 Česká republika, garant)
      Klíčová slova anglicky: stochastic systems; temporal logic; model checking
      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: 25. 11. 2007 23:27.
      Podrobněji: https://is.muni.cz/publication/728300/cs

    2003

    1. Relating Hierarchy of Linear Temporal Properties to Model Checking
      ČERNÁ, Ivana a Radek PELÁNEK. Relating Hierarchy of Linear Temporal Properties to Model Checking. Brno, Czech Republic: FI MU, 2003. Technical report FIMU-RS-2003-03.
      URL
      Název česky: Hierarchie lineárních temporálních vlastností a ověřování modelů
      Název anglicky: Relating Hierarchy of Linear Temporal Properties to Model Checking
      RIV/00216224:14330/03:00024523 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
      Černá, Ivana (203 Česká republika, garant) -- Pelánek, Radek (203 Česká republika)
      Klíčová slova anglicky: temporal logic; automata over infinite words; hierarchy of properties
      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 23. 6. 2009 17:18.
      Podrobněji: https://is.muni.cz/publication/491560/cs
    2. Relating Hierarchy of Temporal Properties to Model Checking
      ČERNÁ, Ivana a Radek PELÁNEK. Relating Hierarchy of Temporal Properties to Model Checking. In Mathematical Foundations of Computer Science (MFCS 2003). Bratislava (Slovensko): Springer-Verlag, 2003, s. 318-327. ISBN 3-540-40671-9.
      RIV/00216224:14330/03:00008590 Stať ve sborníku. Informatika. angličtina. Německo.
      Černá, Ivana (203 Česká republika, garant) -- Pelánek, Radek (203 Česká republika)
      Klíčová slova anglicky: temporal logic; automata over infinite words; model checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 8. 6. 2009 16:09.
      Přír. čísla: 4200509002
      Podrobněji: https://is.muni.cz/publication/489732/cs
Zobrazeno: 27. 4. 2024 02:38