Formal Analysis of Robustness at Model and Code Level

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 11, 2016
Source ID
10.1145/2883817.2883824

Entities

People

  • Pierre Roux
  • Pierre-loic Garoche
  • Romain Jobredeaux
  • Timothy E. Wang
  • Éric Féron

Organizations

  • Agence Nationale de la Recherche
  • Army Research Office
  • Georgia Tech
  • National Science Foundation
  • Office National d'Études et de Recherches Aérospatiales