Madeleine El-Zaher, Jean-Michel Contet, Pablo Gruer, Franck Gechter, Abderrafiaa Koukam. Compositional verification for reactive multi-agent systems applied to platoon non collision verification. Stud. Inform. Univ., 10(3):119-141, 2012. [doi]
Abstract is missing.