Sven Sandberg

According to our database, Sven Sandberg authored at least 10 papers between 2003 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Stochastic Parity Games on Lossy Channel Systems.

Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg

Log. Methods Comput. Sci., 2014

2008

Stochastic Games with Lossy Channels.

Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg

Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007

Games and Probabilistic Infinite-State Systems.

Sven Sandberg

PhD thesis, 2007

2006

Limiting Behavior of Markov Chains with Eager Attractors.

Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Eager Markov Chains.

Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg

Proceedings of the Automated Technology for Verification and Analysis, 2006

2004

Memoryless determinacy of parity and mean payoff games: a simple proof.

Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov

Theor. Comput. Sci., 2004

A Combinatorial Strongly Subexponential Strategy Improvement Algorithm for Mean Payoff Games.

Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov

Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

Homing and Synchronizing Sequences.

Sven Sandberg

Proceedings of the Model-Based Testing of Reactive Systems, 2004

2003

A Discrete Subexponential Algorithm for Parity Games.

Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov

Proceedings of the STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27, 2003

Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework.

Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov

Proceedings of the Perspectives of Systems Informatics, 2003