TY  - RPRT
TI  - Formal verification of octorotor flight envelope using barrier functions and SMT solving
AU  - Byron Heersink
AU  - Pape Sylla
AU  - Michael A. Warren
PY  - 2021
UR  - https://arxiv.org/abs/2107.00612
ID  - 2107.00612
ER  -