Demonstrably Safe AI for Autonomous Driving · HackerTrans