Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres. Formal verification of autonomous vehicle platooning. Science of Computer Programming, 148:88-106, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.