Skip to content

Attracting Tangles to Solve Parity Games.

Tom van Dijk

VenueA*CAV
Year2018
ProceedingsCAV (2)

Browse the full CAV paper archive.