A generalized Bellman-Ford Algorithm for Application in Symbolic Optimal Control. - Alexander Weber 004; Marcus Kreuzer; Alexander Knoll (ECC, 2020)

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

Spontaneous State Constraint Insertions to Operating Symbolic Controllers Combined with Runtime Assurance for Task Allocation in UAV Missions. - Marcus Kreuzer; Alexander Weber 004; Alexander Knoll (ECC, 2024)