Provides a detailed treatment of control development, testing and verification of advanced driving functions and driver assistance systems
Describes formal approaches to verification of such systems and at the same time presents real-world applications and examples
Includes a diverse set of perspectives on this large, interdisciplinary area, covering the topic of partially automated driving and driver assistance functions