Follow
Sven Schewe
Sven Schewe
Professor of Computer Science, University of Liverpool
Verified email at liverpool.ac.uk - Homepage
Title
Cited by
Cited by
Year
Bounded synthesis
B Finkbeiner, S Schewe
International Journal on Software Tools for Technology Transfer 15 (5-6 …, 2013
1872013
Uniform distributed synthesis
B Finkbeiner, S Schewe
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005
1852005
Solving parity games in big steps
S Schewe
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer …, 2007
1792007
Bounded synthesis
S Schewe, B Finkbeiner
Automated Technology for Verification and Analysis: 5th International …, 2007
1592007
Tighter bounds for the determinisation of Büchi automata
S Schewe
Foundations of Software Science and Computational Structures: 12th …, 2009
1152009
iscasMc: A Web-Based Probabilistic Model Checker
EM Hahn, Y Li, S Schewe, A Turrini, L Zhang
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
1052014
Omega-regular objectives in model-free reinforcement learning
EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
1032019
An optimal strategy improvement algorithm for solving parity and payoff games
S Schewe
Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual …, 2008
1002008
An ordered approach to solving parity games in quasi polynomial time and quasi linear space
J Fearnley, S Jain, S Schewe, F Stephan, D Wojtczak
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
882017
B\" uchi complementation made tight
S Schewe
arXiv preprint arXiv:0902.2152, 2009
852009
ATL* satisfiability is 2EXPTIME-complete
S Schewe
Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008
732008
Synthesis of asynchronous systems
S Schewe, B Finkbeiner
Logic-Based Program Synthesis and Transformation: 16th International …, 2007
692007
Lazy probabilistic model checking without determinisation
EM Hahn, G Li, S Schewe, A Turrini, L Zhang
arXiv preprint arXiv:1311.2928, 2013
492013
Satisfiability and finite model property for the alternating-time µ-calculus
S Schewe, B Finkbeiner
CSL 6, 591-605, 2006
45*2006
Coordination logic
B Finkbeiner, S Schewe
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010
442010
Combined model checking for temporal, probabilistic, and real-time logics
S Konur, M Fisher, S Schewe
Theoretical Computer Science 503, 61-88, 2013
432013
Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete
S Schewe
IARCS Annual Conference on Foundations of Software Technology and …, 2010
432010
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games
M Rabe, S Schewe
arXiv preprint arXiv:1004.4005, 2010
412010
Synthesis of distributed systems
S Schewe
392008
Complementing semi-deterministic Büchi automata
F Blahoudek, M Heizmann, S Schewe, J Strejček, MH Tsai
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
342016
The system can't perform the operation now. Try again later.
Articles 1–20