Informatics Report Series


Kousha Etessami

Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

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

Home : Publications : Author 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh