Skip to content
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
TBA
27 mai 2024
Antoine Amarilli
(LTCI, Telecom-Paris)
TBA
Navigation de l’article
On the Computability of Compact Sets
Beyond Decisiveness: When Statistical Verification Meets Numerical Verification