Game-Theoretic Formulations of Interaction Between Dynamic Traffic Control and Dynamic Traffic Assignment | Synapse