Le moteur de recherche
des thèses françaises
Alexandre Chapoutot
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Analyse statique
Arithmétique en virgule flottante
Erreurs d'arrondi
Analyse par intervalles
Vérification
Arithmétique flottante
Précision numérique
Erreur d'arrondi
Transformation automatique de programmes
Interprétation abstraite
Apprentissage par renforcement
Robotique mobile
Robots à chenilles
Contrôle sûr
Apprentissage par renforcement (intelligence artificielle)
Robots mobiles
Véhicules à chenilles
Contrôle
Système hybride