Sven Schewe
Sven Schewe
Professor of Computer Science, University of Liverpool
Bestätigte E-Mail-Adresse bei liverpool.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Uniform distributed synthesis
B Finkbeiner, S Schewe
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005
1562005
Solving parity games in big steps
S Schewe
International Conference on Foundations of Software Technology and …, 2007
1552007
Bounded synthesis
S Schewe, B Finkbeiner
International Symposium on Automated Technology for Verification and …, 2007
1372007
Bounded synthesis
B Finkbeiner, S Schewe
International Journal on Software Tools for Technology Transfer 15 (5-6 …, 2013
1342013
Tighter bounds for the determinisation of Büchi automata
S Schewe
International Conference on Foundations of Software Science and …, 2009
872009
An optimal strategy improvement algorithm for solving parity and payoff games
S Schewe
International Workshop on Computer Science Logic, 369-384, 2008
852008
iscasMc: A Web-Based Probabilistic Model Checker
EM Hahn, Y Li, S Schewe, A Turrini, L Zhang
International Symposium on Formal Methods, 312-317, 2014
672014
B\" uchi complementation made tight
S Schewe
arXiv preprint arXiv:0902.2152, 2009
642009
ATL* satisfiability is 2EXPTIME-complete
S Schewe
International colloquium on automata, languages, and programming, 373-385, 2008
602008
Synthesis of asynchronous systems
S Schewe, B Finkbeiner
International Symposium on Logic-Based Program Synthesis and Transformation …, 2006
602006
An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space
J Fearnley, S Jain, B de Keijzer, S Schewe, F Stephan, D Wojtczak
International Journal on Software Tools for Technology Transfer 21 (3), 325-349, 2019
582019
Satisfiability and finite model property for the alternating-time μ-calculus
S Schewe, B Finkbeiner
International Workshop on Computer Science Logic, 591-605, 2006
39*2006
Coordination logic
B Finkbeiner, S Schewe
International Workshop on Computer Science Logic, 305-319, 2010
382010
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games
MN Rabe, S Schewe
Acta Informatica 48 (5-6), 291, 2011
362011
Synthesis of distributed control through knowledge accumulation
G Katz, D Peled, S Schewe
International Conference on Computer Aided Verification, 510-525, 2011
322011
Synthesis of distributed systems
S Schewe
302008
Populist knowledge:‘Post-truth’repertoires of contesting epistemic authorities
T Ylä-Anttila
European Journal of Cultural and Political Sociology 5 (4), 356-388, 2018
292018
Combined model checking for temporal, probabilistic, and real-time logics
S Konur, M Fisher, S Schewe
Theoretical Computer Science 503, 61-88, 2013
282013
SMT-based synthesis of distributed systems
B Finkbeiner, S Schewe
Proceedings of the second workshop on Automated formal methods, 69-76, 2007
252007
Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games
MN Rabe, S Schewe
Theoretical Computer Science 467, 53-67, 2013
24*2013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20