Titre à venir
Djamel Eddine Amir (LISN, Univ. Paris-Saclay)
Le séminaire a lieu le mardi à 10h45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.
Séminaires à venir :
Titre à venir
Geoffroy Caillat-Grenier (LIRMM, Univ. Montpellier)
The reachability problem for Polynomial Interrupt Timed Automata
Béatrice Bérard (LIP6, Sorbonne Univ.)Hybrid automata form an expressive model to describe systems combining continuous and discrete evolution modes. However, most verification problems are undec...