Chargement de la vue.
En cours
[Forum] L’intelligence artificielle : vecteur de transformation des services à l’industrie nucléaire
Le Forum intitulé « L’intelligence artificielle : vecteur de transformation des services à l’industrie nucléaire » est organisé le 5 et 6 février 2025 à l’IUT Grand Ouest Normandie à … Continue reading [Forum] L’intelligence artificielle : vecteur de transformation des services à l’industrie nucléaire
Séminaire algorithmique : Béatrice Bérard (LIP6, Sorbonne Univ.), « The reachability problem for Polynomial Interrupt Timed Automata»
Sciences 3- S3 351Hybrid automata form an expressive model to describe systems combining continuous and discrete evolution modes. However, most verification problems are undecidable for this model. We recall the particular case of … Continue reading Séminaire algorithmique : Béatrice Bérard (LIP6, Sorbonne Univ.), « The reachability problem for Polynomial Interrupt Timed Automata»