Masaryk University

Publication Records

česky | in English

Filter publications

    2010

    1. Using Strategy Improvement to Stay Alive
      BRIM, Luboš and Jakub CHALOUPKA. Using Strategy Improvement to Stay Alive. In Games, Automata, Logics and Formal Verification (GandALF) 2010. Neuveden: Electronic Proceedings in Theoretical Computer Science (EPTCS), 2010, p. 40-54. ISSN 2075-2180.
      More: https://is.muni.cz/publication/895330/en
Display details
Displayed: 9/10/2024 19:45