Prof. Dr. Sven Schewe

While being a member of this group or in collaboration with us.

• Parity Games with Weights
  Sven Schewe, Alexander Weinert and Martin Zimmermann · arXiv
• Bounded Synthesis
  Bernd Finkbeiner and Sven Schewe · STTT
• Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games
  Markus N. Rabe and Sven Schewe · TCS
• Efficient Approximation of Optimal Control for Continuous-Time Markov Games
  John Fearnley, Markus N. Rabe, Sven Schewe and Lijun Zhang · FSTTCS 2011
• Finite Optimal Control for Time-bounded Reachability in CTMDPs and Continuous-time Markov Games
  Markus N. Rabe and Sven Schewe · Acta Informatica
• Efficient Approximation of Optimal Control for Markov Games - early arXiv version
  Markus N. Rabe, Sven Schewe and Lijun Zhang · arXiv/CoRR: 1011.0397
• Coordination Logic
  Bernd Finkbeiner and Sven Schewe · CSL 2010
• Synthesising Certificates in Networks of Timed Automata
  Bernd Finkbeiner, Hans-Jörg Peter and Sven Schewe · IET SEN 2010
• Optimal Time-Abstract Schedulers for CTMDPs and Markov Games
  Markus N. Rabe and Sven Schewe · QAPL, 2010
• Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games
  Markus N. Rabe and Sven Schewe · arXiv/CoRR: 1004.4005
• Synthesizing Certificates in Networks of Timed Automata
  Bernd Finkbeiner, Hans-Jörg Peter and Sven Schewe · RTSS 2008
• RESY: Requirement Synthesis for Compositional Model Checking
  Bernd Finkbeiner, Hans-Jörg Peter and Sven Schewe · TACAS 2008
• An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games
  Sven Schewe · CSL 2008
• ATL* Satisfiability is 2EXPTIME-complete
  Sven Schewe · ICALP 2008
• Solving Parity Games in Big Steps
  Sven Schewe · FSTTCS 2007
• SMT-Based Synthesis of Distributed Systems
  Bernd Finkbeiner and Sven Schewe · AFM 2007
• Distributed Synthesis for Alternating-Time Logics
  Sven Schewe and Bernd Finkbeiner · ATVA 2007
• Bounded Synthesis
  Sven Schewe and Bernd Finkbeiner · ATVA 2007
• Semi-Automatic Distributed Synthesis
  Sven Schewe and Bernd Finkbeiner · International Journal of Foundations of Computer Science
• Synthesis for Probabilistic Environments
  Sven Schewe · ATVA 2006
• Selective Approaches for Solving Weak Games
  Malte Helmert, Robert Mattmüller and Sven Schewe · ATVA 2006
• Automatic Synthesis of Assumptions for Compositional Model Checking
  Bernd Finkbeiner, Sven Schewe and Matthias Brill · FORTE 2006
• Satisfiability and Finite Model Property for the Alternating-Time µ-Calculus
  Sven Schewe and Bernd Finkbeiner · CSL 2006
• Synthesis of Asynchronous Systems
  Sven Schewe and Bernd Finkbeiner · LOPSTR 2006
• Semi-Automatic Distributed Synthesis
  Bernd Finkbeiner and Sven Schewe · ATVA 2005
• Uniform Distributed Synthesis
  Bernd Finkbeiner and Sven Schewe · LICS 2005

While being a member of this group or in collaboration with us.

• Synthesis of Distributed Systems
  Sven Schewe · UdS