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.
      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.
      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.
      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.
      Podrobněji: https://is.muni.cz/publication/489732/cs
Zobrazit podrobně
Zobrazeno: 28. 5. 2024 11:03