Assessment and Standardization of Autonomous Vehicles
Towards Verified Artificial Intelligence