Optimality Conditions for a Dynamic Traffic Assignment Model | Synapse