Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sven Schewe
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2017 profile
POPL 2018 profile
POPL 2022 profile
POPL 2025 profile
Not registered as user
Name:
Sven Schewe
Affiliation:
University of Liverpool
Personal website:
http://www.csc.liv.ac.uk/~sven/
Contributions
2025
VMCAI
PC Member in Program Committee within the VMCAI 2025-track
2022
VMCAI
PC Member in Program Committee within the VMCAI 2022-track
Author of EPMC Gets Knowledge in Multi-Agent Systems within the VMCAI 2022-track
2019
TACAS
Author of Omega-Regular Objectives in Model-Free Reinforcement Learning within the TACAS 2019-track
2018
VMCAI
Author of Learning to Complement Büchi Automata within the VMCAI 2018-track
2017
VMCAI
Author of Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games within the VMCAI-track
Share
x
Mon 27 Oct 15:57