Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework. - Henrik Björklund; Sven Sandberg; Sergei G. Vorobyov (Ershov Memorial Conference, 2003)

A Discrete Subexponential Algorithm for Parity Games. - Henrik Björklund; Sven Sandberg; Sergei G. Vorobyov (STACS, 2003)

Homing and Synchronizing Sequences. - Sven Sandberg (Model-Based Testing of Reactive Systems, 2004)

A Combinatorial Strongly Subexponential Strategy Improvement Algorithm for Mean Payoff Games. - Henrik Björklund; Sven Sandberg; Sergei G. Vorobyov (MFCS, 2004)

Memoryless determinacy of parity and mean payoff games: a simple proof. - Henrik Björklund; Sven Sandberg; Sergei G. Vorobyov (Theor. Comput. Sci., 2004)

Eager Markov Chains. - Parosh Aziz Abdulla; Noomene Ben Henda; Richard Mayr; Sven Sandberg (ATVA, 2006)

Limiting Behavior of Markov Chains with Eager Attractors. - Parosh Aziz Abdulla; Noomene Ben Henda; Richard Mayr; Sven Sandberg (QEST, 2006)

Games and Probabilistic Infinite-State Systems. - Sven Sandberg (2007)

Stochastic Games with Lossy Channels. - Parosh Aziz Abdulla; Noomene Ben Henda; Luca de Alfaro; Richard Mayr; Sven Sandberg (FoSSaCS, 2008)

Stochastic Parity Games on Lossy Channel Systems. - Parosh Aziz Abdulla; Lorenzo Clemente; Richard Mayr; Sven Sandberg (Log. Methods Comput. Sci., 2014)