A Nash equilibrium formulation of a tradable credits scheme for incentivizing transport choices: From next-generation public transport mode choice to HOT lanes

•A tradable credits scheme for incentivizing transport choices in a binary atomic game framework is proposed.•We prove that the game admits a potential function, and that efficient Nash equilibria exist and can be reached using standard learning algorithms.•We show how the properties of the equilibria can be controlled by the transport authority through appropriate parameter tuning.