169 citations · 371 across the 16 of their papers we have counts for
1 paper · 2 filters
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…