DMCA

Efficiency Analysis of Formally Verified Adaptive Cruise Controllers

by Sarah M. Loos , David Witmer , Peter Steenkiste , André Platzer
Citations:2 - 0 self