Simon Leßenich

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Game Tree Search

Coalitional Games

Transition Systems

Leader Follower

Top Venues

Joint Workshop of the German Research Training Groups in Computer Science

Publications

Felix Canavoi, Erich Grädel, Simon Leßenich, Wied Pakusa
Defining Winning Strategies in Fixed-Point Logic. LICS (2015)
Lukasz Kaiser, Martin Lang, Simon Leßenich, Christof Löding
A Unified Approach to Boundedness Properties in MSO. CSL (2015)
Simon Leßenich
Counting Logics and Games with Counters. Joint Workshop of the German Research Training Groups in Computer Science (2014)
Erich Grädel, Simon Leßenich
Banach-Mazur Games with Simple Winning Strategies. CSL (2012)
Lukasz Kaiser, Simon Leßenich
A Counting Logic for Structure Transition Systems. CSL (2012)
Dietmar Berwanger, Lukasz Kaiser, Simon Leßenich
Solving Counter Parity Games. MFCS (2012)