Symbolic control applied to miniature quadcopter mission guidance. - Marcus Kreuzer; Alexander Weber 004; Christian Leupolz; Alexander Knoll (ECC, 2023)