Approximately Optimal Controllers for Quantitative Two-Phase Reach-Avoid Problems on Nonlinear Systems. - Alexander Weber 004; Alexander Knoll (CDC, 2020)

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

On the Solution of the Travelling Salesman Problem for Nonlinear Salesman Dynamics using Symbolic Optimal Control. - Alexander Weber 004; Alexander Knoll (ECC, 2021)

Vehicle mission guidance by symbolic optimal control. - Alexander Weber 004; Florian Fiege; Alexander Knoll (ECC, 2022)

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

FORFIS: A forest fire firefighting simulation tool for education and research. - Marvin Bredlau; Alexander Weber 004; Alexander Knoll (CoRR, 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)