| 2009 |
|---|
| 17 | EE | Sven Schewe:
Tighter Bounds for the Determinisation of Büchi Automata.
FOSSACS 2009: 167-181 |
| 16 | EE | Sven Schewe:
Büchi Complementation Made Tight.
STACS 2009: 661-672 |
| 15 | EE | Sven Schewe:
Büchi complementation made tight
CoRR abs/0902.2152: (2009) |
| 2008 |
|---|
| 14 | EE | Sven Schewe:
An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games.
CSL 2008: 369-384 |
| 13 | EE | Sven Schewe:
ATL* Satisfiability Is 2EXPTIME-Complete.
ICALP (2) 2008: 373-385 |
| 12 | EE | Bernd Finkbeiner,
Hans-Jörg Peter,
Sven Schewe:
RESY: Requirement Synthesis for Compositional Model Checking.
TACAS 2008: 463-466 |
| 2007 |
|---|
| 11 | EE | Sven Schewe,
Bernd Finkbeiner:
Distributed Synthesis for Alternating-Time Logics.
ATVA 2007: 268-283 |
| 10 | EE | Sven Schewe,
Bernd Finkbeiner:
Bounded Synthesis.
ATVA 2007: 474-488 |
| 9 | EE | Sven Schewe:
Solving Parity Games in Big Steps.
FSTTCS 2007: 449-460 |
| 8 | EE | Sven Schewe,
Bernd Finkbeiner:
Semi-automatic Distributed Synthesis.
Int. J. Found. Comput. Sci. 18(1): 113-138 (2007) |
| 2006 |
|---|
| 7 | EE | Malte Helmert,
Robert Mattmüller,
Sven Schewe:
Selective Approaches for Solving Weak Games.
ATVA 2006: 200-214 |
| 6 | EE | Sven Schewe:
Synthesis for Probabilistic Environments.
ATVA 2006: 245-259 |
| 5 | EE | Sven Schewe,
Bernd Finkbeiner:
Satisfiability and Finite Model Property for the Alternating-Time mu-Calculus.
CSL 2006: 591-605 |
| 4 | EE | Bernd Finkbeiner,
Sven Schewe,
Matthias Brill:
Automatic Synthesis of Assumptions for Compositional Model Checking.
FORTE 2006: 143-158 |
| 3 | EE | Sven Schewe,
Bernd Finkbeiner:
Synthesis of Asynchronous Systems.
LOPSTR 2006: 127-142 |
| 2005 |
|---|
| 2 | EE | Bernd Finkbeiner,
Sven Schewe:
Semi-automatic Distributed Synthesis.
ATVA 2005: 263-277 |
| 1 | EE | Bernd Finkbeiner,
Sven Schewe:
Uniform Distributed Synthesis.
LICS 2005: 321-330 |
