Can we build it: formal synthesis of control strategies for cooperative driver assistance systems

BIB
Damm, Werner and Peter, Hans-Jörg and Rakow, Jan and Westphal, Bernd
Mathematical Structures in Computer Science
2013
article
676-725