Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified.

Sarah M. Loos, Andr Platzer, Ligia Nistor

Browse the full FM paper archive.