2017
Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics
Abstract
Citation
@incollectionKouskoulas_2017 doi: 10.1007/978-3-319-66107-0_22 url: https://doi.org/10.1007/978-3-319-66107-0_22 year: 2017 publisher: Springer International Publishing pages: 336--353 author: Kouskoulas Yanni and Genin Daniel and Schmidt Aurora and Jeannin Jean-Baptiste title: Formally Verified Safe Vertical Maneuvers for Non-deterministic Accelerating Aircraft~Dynamics booktitle: Interactive Theorem Proving
Citation
@incollectionKouskoulas_2017 doi: 10.1007/978-3-319-66107-0_22 url: https://doi.org/10.1007/978-3-319-66107-0_22 year: 2017 publisher: Springer International Publishing pages: 336--353 author: Kouskoulas Yanni and Genin Daniel and Schmidt Aurora and Jeannin Jean-Baptiste title: Formally Verified Safe Vertical Maneuvers for Non-deterministic Accelerating Aircraft~Dynamics booktitle: Interactive Theorem Proving