Logic Colloquium 2022

Talk

Runtime monitoring for Hennessy-Milner logic with recursion over systems with data

Léo Exibard

On  Thu, 11:50 ! Livein  M208for  20min
PDF Abstract
On-site

 Overview  Program

If you encounter any issues with this website, please get in touch with Léo Exibard.