|
Search the dblp DataBase
Dominik Wojtczak:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Dominik Wojtczak, Kousha Etessami
PReMo : An Analyzer for P robabilistic Re cursive Mo dels. [Citation Graph (0, 0)][DBLP] TACAS, 2007, pp:66-71 [Conf]
Recursive Timed Automata. [Citation Graph (, )][DBLP]
Decision Problems for Nash Equilibria in Stochastic Games. [Citation Graph (, )][DBLP]
Recursive Stochastic Games with Positive Rewards. [Citation Graph (, )][DBLP]
The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games. [Citation Graph (, )][DBLP]
Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems. [Citation Graph (, )][DBLP]
One-Counter Markov Decision Processes. [Citation Graph (, )][DBLP]
The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games [Citation Graph (, )][DBLP]
One-Counter Markov Decision Processes [Citation Graph (, )][DBLP]
Decision Problems for Nash Equilibria in Stochastic Games [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.006secs
|