Title: An indirect sufficiency proof for problems with bounded state variables
Subjects: Control theory, Mathematical optimization