TY  - RPRT
TI  - A Survey on Satisfiability Checking for the $μ$-Calculus through Tree Automata
AU  - Daniel Hausmann
AU  - Nir Piterman
PY  - 2022
UR  - https://arxiv.org/abs/2207.00517
ID  - 2207.00517
ER  -