Mean-field game (Lasry-Lions 2006): each agent minimizes cost = travel time + α·∫congestion(density) dt. The Nash equilibrium is found by solving coupled Hamilton-Jacobi-Bellman (value function) and Fokker-Planck (density) PDEs. Congestion aversion spreads agents to avoid crowded paths.