Sven Sandberg

Publication Activity (10 Years)

Years Active: 2003-2014
Publications (10 Years): 0

Top Venues

CoRR

Log. Methods Comput. Sci.

QEST

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg
Stochastic Parity Games on Lossy Channel Systems. Log. Methods Comput. Sci. 10 (4) (2014)
Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg
Stochastic Parity Games on Lossy Channel Systems. QEST (2013)
Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg
Stochastic Parity Games on Lossy Channel Systems CoRR (2013)
Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg
Stochastic Games with Lossy Channels. FoSSaCS (2008)
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg
Eager Markov Chains. ATVA (2006)
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg
Limiting Behavior of Markov Chains with Eager Attractors. QEST (2006)
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) (2004)
Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov
A Combinatorial Strongly Subexponential Strategy Improvement Algorithm for Mean Payoff Games. MFCS (2004)
Sven Sandberg
Homing and Synchronizing Sequences. Model-Based Testing of Reactive Systems (2004)
Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov
Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework. Ershov Memorial Conference (2003)
Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov
A Discrete Subexponential Algorithm for Parity Games. STACS (2003)

Sven Sandberg.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sven Sandberg