Runtime Monitoring for Hennessy-Milner Logic with Recursion over Systems with Data @ Séminaire Automates Léo Exibard Dec 2, 2022 Slides Hennessy-Milner Logic Modal mu-Calculus Data Words