BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Greece
1 × Iceland
1 × United Kingdom
2 × Portugal
Collaborated with:
M.Ummels K.Etessami S.Kiefer M.Yannakakis T.Brázdil A.Kucera P.Novotný
Talks about:
stochast (3) game (3) equilibria (2) process (2) decis (2) nash (2) probabilist (1) synchronis (1) robabilist (1) multiplay (1)

Person: Dominik Wojtczak

DBLP DBLP: Wojtczak:Dominik

Contributed to:

ICALP (2) 20122012
TACAS 20112011
CSL 20092009
ICALP (2) 20092009
ICALP (1) 20082008
TACAS 20072007

Wrote 6 papers:

ICALP-v2-2012-BrazdilKNW #markov #process #termination
Minimizing Expected Termination Time in One-Counter Markov Decision Processes (TB, AK, PN, DW), pp. 141–152.
TACAS-2011-KieferW #on the #parallel #probability #process #source code
On Probabilistic Parallel Programs with Process Creation and Synchronisation (SK, DW), pp. 296–310.
CSL-2009-UmmelsW #game studies #nash #probability #problem
Decision Problems for Nash Equilibria in Stochastic Games (MU, DW), pp. 515–529.
ICALP-v2-2009-UmmelsW #complexity #game studies #multi #nash #probability
The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games (MU, DW), pp. 297–308.
ICALP-A-2008-EtessamiWY #game studies #probability #recursion
Recursive Stochastic Games with Positive Rewards (KE, DW, MY), pp. 711–723.
TACAS-2007-WojtczakE
PReMo : An Analyzer for P robabilistic Re cursive Mo dels (DW, KE), pp. 66–71.

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.