Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis

Jan Křetínský, Alexander Manta, Tobias Meggendorfer

We propose "semantic labelling" as a novel ingredient for solving games in the context of LTL synthesis. It exploits recent advances in the automata-based approach, yielding more i…