Autonomous vehicles: theoretical and practical challenges | Synapse