Periodic Reporting for period 1 - PIGGY (Reasoning using tangles on parity games)

The main problem addressed by the project is that of solving parity games in polynomial time. Parity games are one of the conceptually simplest problems that are expected to have a polynomial-time algorithm, but for which no such algorithm has been found. Primary objective of...