Formal verification of platoon control strategies

Publication
International Conference on Software Engineering and Formal Methods