Report
| Date
| Title
|
EDI-INF-RR-1249
| 2008
| Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems
|
EDI-INF-RR-1224
| 2007
| Recursive Stochastic Games with Positive Rewards
|
EDI-INF-RR-1164
| Oct 2007
| On the Complexity of Nash Equilibria and Other Fixed Points
|
EDI-INF-RR-0684
| 2005
| Algorithmic Verification of Recursive Probabilistic State Machines.
|
EDI-INF-RR-0656
| 2005
| Recursive Markov Decison Processes and Recursive Stochastic Games
|
EDI-INF-RR-0643
| 2004
| The computational complexity of Evolutionarily Stable Strategies
|
EDI-INF-RR-0642
| 2003
| Inference of Message Sequence Charts
|
EDI-INF-RR-0641
| 2005
| Analysis of Recursive State Machines
|
EDI-INF-RR-0639
| 2005
| Fair-Simulation Relations, Parity Games, and State-Space Reduction for B"uchi Automata
|
EDI-INF-RR-0603
| Jan 2005
| Recursive Markov Chains, Stochastic Grammars, and Monotone Systems of Nonlinear Equations
|