Accéder directement au contenu
GH

Gautier Hattenberger

2
Documents
Identifiants chercheurs

Présentation

Publications

981773
Image document

A Verified UAV Flight Plan Generator

 Baptiste Pollien , Christophe Garion , Gautier Hattenberger , Pierre Roux , Xavier Thirioux
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), May 2023, Melbourne, Australia. pp.130-140, ⟨10.1109/FormaliSE58978.2023.00021⟩
Communication dans un congrès hal-04165427v1
Image document

Formal Verification for Autopilot - Preliminary state of the art

 Christophe Garion , Gautier Hattenberger , Baptiste Pollien , Pierre Roux , Xavier Thirioux
[Technical Report] ISAE-SUPAERO; ONERA -- The French Aerospace Lab; ENAC. 2022
Rapport hal-03255656v1