Showing 1 - 3 results of 3 for search 'Vojtěch Forejt', Forespørselstid: 0.02s Refine Results
  1. 1
    Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata

    Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata af Vojtěch Forejt, Petr Jančar, Stefan Kiefer, James Worrell

    Udgivet 2018-11-01
    Få fuldtekst
    Article
  2. 2
    Markov Decision Processes with Multiple Long-run Average Objectives

    Markov Decision Processes with Multiple Long-run Average Objectives af Tomáš Brázdil, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, Antonín Kučera

    Udgivet 2014-02-01
    Få fuldtekst
    Article
  3. 3
    Permissive Controller Synthesis for Probabilistic Systems

    Permissive Controller Synthesis for Probabilistic Systems af Klaus Drager, Vojtech Forejt, Marta Kwiatkowska, David Parker, Mateusz Ujma

    Udgivet 2015-06-01
    Få fuldtekst
    Article

Søgeredskaber: