| 2008 |
|---|
| 8 | EE | Parosh Aziz Abdulla,
Noomene Ben Henda,
Luca de Alfaro,
Richard Mayr,
Sven Sandberg:
Stochastic Games with Lossy Channels.
FoSSaCS 2008: 35-49 |
| 2006 |
|---|
| 7 | EE | Parosh Aziz Abdulla,
Noomene Ben Henda,
Richard Mayr,
Sven Sandberg:
Eager Markov Chains.
ATVA 2006: 24-38 |
| 6 | EE | Parosh Aziz Abdulla,
Noomene Ben Henda,
Richard Mayr,
Sven Sandberg:
Limiting Behavior of Markov Chains with Eager Attractors.
QEST 2006: 253-264 |
| 2004 |
|---|
| 5 | EE | Henrik Björklund,
Sven Sandberg,
Sergei G. Vorobyov:
A Combinatorial Strongly Subexponential Strategy Improvement Algorithm for Mean Payoff Games.
MFCS 2004: 673-685 |
| 4 | EE | Sven Sandberg:
Homing and Synchronizing Sequences.
Model-Based Testing of Reactive Systems 2004: 5-33 |
| 3 | EE | Henrik Björklund,
Sven Sandberg,
Sergei G. Vorobyov:
Memoryless determinacy of parity and mean payoff games: a simple proof.
Theor. Comput. Sci. 310(1-3): 365-378 (2004) |
| 2003 |
|---|
| 2 | EE | Henrik Björklund,
Sven Sandberg,
Sergei G. Vorobyov:
Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework.
Ershov Memorial Conference 2003: 381-394 |
| 1 | EE | Henrik Björklund,
Sven Sandberg,
Sergei G. Vorobyov:
A Discrete Subexponential Algorithm for Parity Games.
STACS 2003: 663-674 |
