31 citations · 242 across the 55 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.GT2011★ 3 cited
Time and Parallelizability Results for Parity Games with Bounded Tree and DAG Width
John Fearnley, Sven Schewe
Parity games are a much researched class of games in NP intersect CoNP that are not known to be in P. Consequently, researchers have considered specialised algorithms for the case…
cs.LO2011★ 5 cited
Practical Distributed Control Synthesis
Doron Peled, Sven Schewe
Classic distributed control problems have an interesting dichotomy: they are either trivial or undecidable. If we allow the controllers to fully synchronize, then synthesis is triv…