Formal verification of octorotor flight envelope using barrier functions and SMT solving.

Byron Heersink Pape M. Sylla Michael A. Warren

Published in: CoRR (2021)

Keyphrases

formal verification
model checking
automated verification
model checker
bounded model checking
symbolic model checking
temporal logic
flight data
statistical machine translation
program slicing