Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.

Jan Kretnsk, Alexander Manta, Tobias Meggendorfer

Browse the full ATVA paper archive.