The paper “Efficient Evidence Generation for Modal mu-Calculus Model Checking” by Anna Stramaglia, Jeroen Keiren, Maurice Laveaux and Tim Willemse has been accepted for publication at TACAS 2025 that will take place in Hamilton, Canada, May3-8, 2025. A preprint with additional details is available on arXiv.