Formal verification of autonomous vehicle platooning