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.
  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.
  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.
  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.
Zobrazit podrobně
Zobrazeno: 22. 4. 2021 22:48