Specification-Based Maneuvering of Quadcopters Through Hoops.

Christopher Banks Kyle Slovak Samuel Coogan Magnus Egerstedt

Published in: IROS (2019)

Keyphrases

target tracking
data sets
formal specification
motion planning
provably correct
multiresolution
information systems
knowledge base
high level
multiscale
formal methods
specification language
operational semantics