193 citations · 268 across the 9 of their papers we have counts for
1 paper · 1 filter
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…