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
2. Scalable Machine Learning for Visual Data Yu, Xinnan 2015 Theses Artificial intelligenceComputer scienceElectrical engineering