Masaryk University

Publication Records

česky | in English

Filter publications

    2008

    1. On the Controller Synthesis for Finite-State Markov Decision Processes
      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.
      More: https://is.muni.cz/publication/755166/en

    2007

    1. Stochastic Game Logic
      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.
      More: https://is.muni.cz/publication/728300/en

    2003

    1. Relating Hierarchy of Linear Temporal Properties to Model Checking
      Č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.
      More: https://is.muni.cz/publication/491560/en
    2. Relating Hierarchy of Temporal Properties to Model Checking
      Č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.
      More: https://is.muni.cz/publication/489732/en
Display details
Displayed: 25/4/2024 18:10