Travelled to:1 × Canada
1 × Switzerland
1 × USA
Collaborated with:T.Brázdil A.Kucera V.Forejt K.Etessami K.Chatterjee
Talks about:stochast (2) object (2) game (2) approxim (1) process (1) multipl (1) counter (1) termin (1) payoff (1) markov (1)
Person: Václav Brozek
DBLP: Brozek:V=aacute=clav
Contributed to:
2011
20112006Wrote 3 papers:
- ICALP-v2-2011-BrazdilBEK #approximate #game studies #probability #termination
- Approximating the Termination Value of One-Counter MDPs and Stochastic Games (TB, VB, KE, AK), pp. 332–343.
- LICS-2011-BrazdilBCFK #markov #multi #process
- Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (TB, VB, KC, VF, AK), pp. 33–42.
- LICS-2006-BrazdilBFK #game studies #probability
- Stochastic Games with Branching-Time Winning Objectives (TB, VB, VF, AK), pp. 349–358.