1 paper
Alexander Weber, Florian Fiege, Alexander Knoll
Symbolic optimal control is a powerful method to synthesize algorithmically correct-by-design state-feedback controllers for nonlinear plants. Its solutions are (near-)optimal with…