Title: A reliable algorithm for optimal control synthesis
Subjects: Control theory, Mathematical optimization