Masaryk University

Publication Records

česky | in English

Filter publications

    2008

  1. KUČERA, Antonín and Oldřich STRAŽOVSKÝ. On the Controller Synthesis for Finite-State Markov Decision Processes. Fundamenta Informaticae. Polsko: IOS Press, Nizozemí, 2008, vol. 82, 1-2, p. 141-153. ISSN 0169-2968.
  2. 2007

  3. BAIER, Christel, Tomáš BRÁZDIL, Marcus GRÖSSER and 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. p. 227-236. ISBN 0-7695-2883-X.
  4. 2003

  5. ČERNÁ, Ivana and 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 and Radek PELÁNEK. Relating Hierarchy of Temporal Properties to Model Checking. In Mathematical Foundations of Computer Science (MFCS 2003). Bratislava (Slovensko): Springer-Verlag, 2003. p. 318-327. ISBN 3-540-40671-9.
Display details
Displayed: 11/5/2021 16:45