From Modal μ-Calculus to Alternating Tree Automata using Parity Games

Date:

Slides