Symbolic Parity Game Solvers that Yield Winning Strategies
Symbolic Parity Game Solvers that Yield Winning Strategies
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 remains a major issue if we want to scale to larger systems or specifications. In order to combat this problem, we …