Login / Signup
Formal Verification of Octorotor Flight Envelope Using Barrier Functions and Satisfiability Modulo Theories Solving.
Byron Heersink
Pape M. Sylla
Michael A. Warren
Published in:
IEEE Control. Syst. Lett. (2022)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
automated verification
satisfiability modulo theories
combinatorial optimization
modulo theories
artificial intelligence
expert systems
branch and bound algorithm
temporal logic
boolean variables