Skip to content
Labex DigiCosme
  • À propos
    • Contact
    • Présentation Labex DigiCosme
    • Partenaires
    • Mentions légales et crédits
    • Organisation
      • Organigramme
      • Comité des tutelles
      • Comité scientifique
      • Comité exécutif
      • Commission Recherche et Innovation
      • Commission de Formation
  • Recherche et Innovation
    • Groupes de travail actifs
    • Axes de Recherche & actions
    • Axe SciLex
    • Axe ComEx
    • Axe IID (ex Datasense)
    • Sujets chauds
    • Innovation
    • Actions financées
    • Journées recherche
  • Formation
    • Actions
    • Bourses Master
    • Professeur invités
    • Concours ISN
    • Écoles de Printemps
    • JDSE
    • JWOC
  • Appel à projets
    • Appel à projets en cours
    • Processus de sélection
    • Historique des appels
  • Publications
    • Publications SciLex
    • Publications ComEx
    • Publications IID-DataSense
  • Intranet
  • English
Menu Fermer
  • À propos
    • Contact
    • Présentation Labex DigiCosme
    • Partenaires
    • Mentions légales et crédits
    • Organisation
      • Organigramme
      • Comité des tutelles
      • Comité scientifique
      • Comité exécutif
      • Commission Recherche et Innovation
      • Commission de Formation
  • Recherche et Innovation
    • Groupes de travail actifs
    • Axes de Recherche & actions
    • Axe SciLex
    • Axe ComEx
    • Axe IID (ex Datasense)
    • Sujets chauds
    • Innovation
    • Actions financées
    • Journées recherche
  • Formation
    • Actions
    • Bourses Master
    • Professeur invités
    • Concours ISN
    • Écoles de Printemps
    • JDSE
    • JWOC
  • Appel à projets
    • Appel à projets en cours
    • Processus de sélection
    • Historique des appels
  • Publications
    • Publications SciLex
    • Publications ComEx
    • Publications IID-DataSense
  • Intranet
  • English

Formal methods

Formal methods for neural network-based systems

Point of contact Alexandre Chapoutot (ENSTA Paris)Franck Delaplace (IBISC, UEVE) Summary Neural networks are an important class of algorithms used in autonomous systems or robots for perception or control. The…

Continuer la lecture Formal methods for neural network-based systems
  • Deadline – Application for Ingoing Mobility Grant

    Ces bourses d’excellence concerneront, comme les années précédentes des étudiants souhaitant s...

    12 mars @ 12h00 CET
Mes tweets
Copyright - OceanWP Theme by Nick