A Verified UAV Flight Plan Generator - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux. A Verified UAV Flight Plan Generator. In 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023. pages 130-140, IEEE, 2023. [doi]

This author has not been identified. Look up 'Baptiste Pollien' in GoogleThis author has not been identified. Look up 'Christophe Garion' in GoogleThis author has not been identified. Look up 'Gautier Hattenberger' in GoogleThis author has not been identified. Look up 'Pierre Roux' in GoogleThis author has not been identified. Look up 'Xavier Thirioux' in Google

runs on WebDSL