Search the dblp DataBase

Publications of Author

1. Sven Schewe
   Synthesis for Probabilistic Environments. [Citation Graph (0, 0)][DBLP]
   ATVA, 2006, pp:245-259 [Conf]
   
2. Bernd Finkbeiner, Sven Schewe
   Semi-automatic Distributed Synthesis. [Citation Graph (0, 0)][DBLP]
   ATVA, 2005, pp:263-277 [Conf]
   
3. Malte Helmert, Robert Mattmüller, Sven Schewe
   Selective Approaches for Solving Weak Games. [Citation Graph (0, 0)][DBLP]
   ATVA, 2006, pp:200-214 [Conf]
   
4. Sven Schewe, Bernd Finkbeiner
   Satisfiability and Finite Model Property for the Alternating-Time mu-Calculus. [Citation Graph (0, 0)][DBLP]
   CSL, 2006, pp:591-605 [Conf]
   
5. Bernd Finkbeiner, Sven Schewe, Matthias Brill
   Automatic Synthesis of Assumptions for Compositional Model Checking. [Citation Graph (0, 0)][DBLP]
   FORTE, 2006, pp:143-158 [Conf]
   
6. Bernd Finkbeiner, Sven Schewe
   Uniform Distributed Synthesis. [Citation Graph (0, 0)][DBLP]
   LICS, 2005, pp:321-330 [Conf]
   
7. Sven Schewe, Bernd Finkbeiner
   Synthesis of Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2006, pp:127-142 [Conf]
   
8. Sven Schewe, Bernd Finkbeiner
   Semi-automatic Distributed Synthesis. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:113-138 [Journal]
   
9. Sven Schewe, Bernd Finkbeiner
   Bounded Synthesis. [Citation Graph (0, 0)][DBLP]
   ATVA, 2007, pp:474-488 [Conf]
   
10. Sven Schewe, Bernd Finkbeiner
    Distributed Synthesis for Alternating-Time Logics. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:268-283 [Conf]
    
11. 
    An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games. [Citation Graph (, )][DBLP]
    
    
12. 
    Coordination Logic. [Citation Graph (, )][DBLP]
    
    
13. 
    Tighter Bounds for the Determinisation of Büchi Automata. [Citation Graph (, )][DBLP]
    
    
14. 
    Solving Parity Games in Big Steps. [Citation Graph (, )][DBLP]
    
    
15. 
    ATL* Satisfiability Is 2EXPTIME-Complete. [Citation Graph (, )][DBLP]
    
    
16. 
    From Parity and Payoff Games to Linear Programming. [Citation Graph (, )][DBLP]
    
    
17. 
    Synthesizing Certificates in Networks of Timed Automata. [Citation Graph (, )][DBLP]
    
    
18. 
    Büchi Complementation Made Tight. [Citation Graph (, )][DBLP]
    
    
19. 
    RESY: Requirement Synthesis for Compositional Model Checking. [Citation Graph (, )][DBLP]
    
    
20. 
    Büchi complementation made tight [Citation Graph (, )][DBLP]
    
    
21. 
    Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games [Citation Graph (, )][DBLP]
    
    
22. 
    Optimal Time-Abstract Schedulers for CTMDPs and Markov Games [Citation Graph (, )][DBLP]
    
    
23. 
    Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata [Citation Graph (, )][DBLP]