关注
Sven Schewe
Sven Schewe
Professor of Computer Science, University of Liverpool
在 liverpool.ac.uk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Uniform distributed synthesis
B Finkbeiner, S Schewe
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005
1802005
Bounded synthesis
B Finkbeiner, S Schewe
International Journal on Software Tools for Technology Transfer 15 (5), 519-539, 2013
1782013
Solving parity games in big steps
S Schewe
International Conference on Foundations of Software Technology and …, 2007
1762007
Bounded synthesis
S Schewe, B Finkbeiner
International symposium on automated technology for verification and …, 2007
1592007
Tighter bounds for the determinisation of Büchi automata
S Schewe
International Conference on Foundations of Software Science and …, 2009
1112009
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
992014
An optimal strategy improvement algorithm for solving parity and payoff games
S Schewe
International Workshop on Computer Science Logic, 369-384, 2008
982008
Omega-regular objectives in model-free reinforcement learning
EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak
International Conference on Tools and Algorithms for the Construction and …, 2019
912019
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
832019
B\" uchi complementation made tight
S Schewe
arXiv preprint arXiv:0902.2152, 2009
812009
ATL* satisfiability is 2EXPTIME-complete
S Schewe
International colloquium on automata, languages, and programming, 373-385, 2008
722008
Synthesis of asynchronous systems
S Schewe, B Finkbeiner
International Symposium on Logic-Based Program Synthesis and Transformation …, 2006
682006
Lazy probabilistic model checking without determinisation
EM Hahn, G Li, S Schewe, A Turrini, L Zhang
arXiv preprint arXiv:1311.2928, 2013
492013
Coordination logic
B Finkbeiner, S Schewe
International Workshop on Computer Science Logic, 305-319, 2010
452010
Satisfiability and finite model property for the alternating-time μ-calculus
S Schewe, B Finkbeiner
International Workshop on Computer Science Logic, 591-605, 2006
44*2006
Combined model checking for temporal, probabilistic, and real-time logics
S Konur, M Fisher, S Schewe
Theoretical Computer Science 503, 61-88, 2013
412013
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games
MN Rabe, S Schewe
Acta Informatica 48 (5), 291-315, 2011
412011
Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete
S Schewe
IARCS Annual Conference on Foundations of Software Technology and …, 2010
382010
Synthesis of distributed systems
S Schewe
372008
Complementing semi-deterministic Büchi automata
F Blahoudek, M Heizmann, S Schewe, J Strejček, MH Tsai
International Conference on Tools and Algorithms for the Construction and …, 2016
332016
系统目前无法执行此操作,请稍后再试。
文章 1–20