P
Initializing...
Discrete-time Minimum Principle (Prop. 3.3.2) · Prove2Me