7 citations · 13 across the 5 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.GT2016
Winning Cores in Parity Games
Steen Vester
We introduce the novel notion of winning cores in parity games and develop a deterministic polynomial-time under-approximation algorithm for solving parity games based on winning c…
cs.DC2016
Distributed Synthesis in Continuous Time
Holger Hermanns, Jan Krčál, Steen Vester
We introduce a formalism modelling communication of distributed agents strictly in continuous-time. Within this framework, we study the problem of synthesising local strategies for…