1 citations · 1 across the 2 of their papers we have counts for
1 paper · 2 filters
Matthew Hague, Roland Meyer, Sebastian Muskalla
We study two-player inclusion games played over word-generating higher-order recursion schemes. While inclusion checks are known to capture verification problems, two-player games…