Text this: Dynamic optimization and differential games /