Backward pass — integrate backward ODEs for value function and its derivatives Point-wise constraint enforcement — solve local QP over active constraint set at each time step Forward pass — simulate ...