1. Facilitating Formal Verification of Cooperative Driving Applications: Techniques and Case Study Lin, Shou-pon 2015 Theses Automobile drivingAutomobile driving--Steering--Automatic controlAutomobiles--Automatic controlMotor vehicles--Automatic controlAutomatic control--Computer programsArtificial intelligenceElectrical engineeringComputer science