Formal verification of autonomous vehicle platooning

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.