Sign in
Viktor Engelmann
Publication Activity (10 Years)
Years Active: 2012-2016
Publications (10 Years): 1
Top Topics
Automated Verification
Game Tree
Two Player Games
Computation Tree Logic
Top Venues
LICS
Discret. Appl. Math.
</>
Publications
</>
Viktor Engelmann
,
Sebastian Ordyniak
,
Stephan Kreutzer
Directed elimination games.
Discret. Appl. Math.
199 (2016)
Viktor Engelmann
,
Stephan Kreutzer
,
Sebastian Siebertz
First-Order and Monadic Second-Order Model-Checking on Ordered Structures.
LICS
(2012)