4 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LO2016★ 1 cited
Partial Solvers for Parity Games: Effective Polynomial-Time Composition
Patrick Ah-Fat, Michael Huth
Partial methods play an important role in formal methods and beyond. Recently such methods were developed for parity games, where polynomial-time partial solvers decide the winners…
cs.LO2014★ 4 cited
Fatal Attractors in Parity Games: Building Blocks for Partial Solvers
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
Attractors in parity games are a technical device for solving "alternating" reachability of given node sets. A well known solver of parity games - Zielonka's algorithm - uses such…