TY - RPRT TI - Provably-Correct Safety Protocol for Cooperative Platooning AU - Sebastian Mair AU - Matthias Althoff PY - 2026 UR - https://arxiv.org/abs/2312.08076 ID - 2312.08076 ER -