TY  - RPRT
TI  - Formal Verification of Autonomous Vehicle Platooning
AU  - Maryam Kamali
AU  - Louise A. Dennis
AU  - Owen McAree
AU  - Michael Fisher
AU  - Sandor M. Veres
PY  - 2016
UR  - https://arxiv.org/abs/1602.01718
ID  - 1602.01718
ER  -