5 citations · 7 across the 4 of their papers we have counts for
1 paper · 1 filter
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…