A generalized Bellman-Ford Algorithm for Application in Symbolic Optimal Control

Alexander Weber, Marcus Kreuzer, Alexander Knoll

Symbolic controller synthesis is a fully-automated and correct-by-design synthesis scheme whose limitations are its immense memory and runtime requirements. A current trend to comp…