Sven Sandberg

12 papers A 1B 3Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2014 J jnl
Stochastic Parity Games on Lossy Channel Systems.
Log. Methods Comput. Sci.
Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg
2013 J jnl
Stochastic Parity Games on Lossy Channel Systems
CoRR
Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg
2013 — conf
Stochastic Parity Games on Lossy Channel Systems.
QEST
Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg
2008 B conf
Stochastic Games with Lossy Channels.
FoSSaCS
Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg
2007 — —
Games and Probabilistic Infinite-State Systems.
Sven Sandberg
2006 B conf
Eager Markov Chains.
ATVA
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg
2006 — conf
Limiting Behavior of Markov Chains with Eager Attractors.
QEST
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg
2004 B conf
A Combinatorial Strongly Subexponential Strategy Improvement Algorithm for Mean Payoff Games.
MFCS
Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov
2004 — conf
Homing and Synchronizing Sequences.
Model-Based Testing of Reactive Systems
Sven Sandberg
2004 J jnl
Memoryless determinacy of parity and mean payoff games: a simple proof.
Theor. Comput. Sci.
Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov
2003 A conf
A Discrete Subexponential Algorithm for Parity Games.
STACS
Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov
2003 — conf
Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework.
Ershov Memorial Conference
Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov