Tom van Dijk: Distractions and Tangles in Parity Games

Event Details

In this talk I will discuss the tangle learning algorithm for parity games. That is, I will explain the concept of a tangle, explain their role in different parity game algorithms, and demonstrate how we can find tangles in parity games. Furthermore I will introduce distractions, simple distractions and devious distractions, and the role they seem to play in parity games and how different algorithms deal with these distractions.