19 citations · 37 across the 6 of their papers we have counts for
1 paper · 1 filter
Oebele Lijzenga, Tom van Dijk
Parity games play an important role for LTL synthesis as evidenced by recent breakthroughs on LTL synthesis, which rely in part on parity game solving. Yet state space explosion re…