Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. - Jan Kretínský; Alexander Manta 001; Tobias Meggendorfer (ATVA, 2019)

Artefact for paper: Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. - Jan Kretínský; Alexander Manta 001; Tobias Meggendorfer (Zenodo, 2019)

Artefact for paper: Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. - Jan Kretínský; Alexander Manta 001; Tobias Meggendorfer (Zenodo, 2019)