Login / Signup
Baptiste Pollien
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Aerial Vehicles
Vision Based Navigation
Mathematical Expressions
Plan Generation
Top Venues
FormaliSE
FMICS
</>
Publications
</>
Baptiste Pollien
,
Christophe Garion
,
Gautier Hattenberger
,
Pierre Roux
,
Xavier Thirioux
A Verified UAV Flight Plan Generator.
FormaliSE
(2023)
Baptiste Pollien
,
Christophe Garion
,
Gautier Hattenberger
,
Pierre Roux
,
Xavier Thirioux
Verifying the Mathematical Library of an UAV Autopilot with Frama-C.
FMICS
(2021)