Avoiding distractions in parity games

2024/01/01

Authors:

Paper

Slides

BibTeX entry:

@inproceedings{IsoLA24,
 author = {Tom van Dijk},
 title = {Avoiding distractions in parity games},
 year = {2024}
}