Using Guided Simulation to Assess Driver Assistance Systems

Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter. Using Guided Simulation to Assess Driver Assistance Systems. In Eckehard Schnieder, Géza Tarnai, editors, FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010. pages 195-205, Springer, 2010. [doi]

Bibliographies