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