TY  - RPRT
TI  - Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
AU  - Anna Stramaglia
AU  - Jeroen J. A. Keiren
AU  - Maurice Laveaux
AU  - Tim A. C. Willemse
PY  - 2025
DO  - 10.1007/978-3-031-90643-5_10
UR  - https://arxiv.org/abs/2501.15938
ID  - 2501.15938
ER  -