A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles by Albert Rizaldi 📧 and Fabian Immler 🌐 Jun 01