BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Brozek:V=aacute=clav

Contributed to:

ICALP (2) 20112011
LICS 20112011
LICS 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.