Game-Theoretic and Set-Based Methods for Safe Autonomous Vehicles on Shared Roads