Certification for mu-calculus with winning strategies

Martin Hofmann, Harald Ruess

We define memory-efficient certificates for $\mu$-calculus model checking problems based on the well-known correspondence of the $\mu$-calculus model checking with winning certain pari…