Showing 1 - 3 results of 3 for search 'Brožek, V', Forespørselstid: 0.02s Refine Results
  1. 1
    Branching-Time Model-Checking of Probabilistic Pushdown Automata.

    Branching-Time Model-Checking of Probabilistic Pushdown Automata. af Brázdil, T, Brozek, V, Forejt, V

    Udgivet 2009
    Journal article
  2. 2
    Reachability in recursive Markov decision processes.

    Reachability in recursive Markov decision processes. af Brázdil, T, Brozek, V, Forejt, V, Kucera, A

    Udgivet 2008
    Journal article
  3. 3
    Markov Decision Processes with Multiple Long-run Average Objectives

    Markov Decision Processes with Multiple Long-run Average Objectives af Brázdil, T, Brožek, V, Chatterjee, K, Forejt, V, Kučera, A

    Udgivet 2011
    Conference item

Søgeredskaber: