Paper accepted for presentation at TACAS 2022

The paper “On-The-Fly Solving for Symbolic Parity Games“, by Maurice Laveaux, Wieger Wesselink and Tim Willemse, has been accepted for the ETAPS 2022 conference TACAS. The paper describes how to use on-the-fly solving techniques during the exploration process of a parity game, and shows that this can help to decide the winner of a designated vertex in a game that is being explored. In particular, the paper shows that several partial solving techniques for parity games can be made resilient to work directly on the incomplete game structure. The new techniques allows for speed-ups of several orders of magnitude, whereas overhead (if unavoidable) is typically low.