Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

  1. 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. Nizozemsko.
    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.
  2. 2007

  3. 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.
  4. 2003

  5. Č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.
  6. Č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
Zobrazeno: 11. 5. 2021 16:03