Synthesis And Evaluation Of Automated Vehicles