The coordination of multiple autonomous vehicles into convoys or platoons is expected on our highways in the near future. However, before such platoons can be deployed, the new autonomous behaviors of the vehicles in these platoons must be certified. An appropriate repr... View more
 R. Alur, C. Courcoubetis, and D. Dill. Model-Checking in Dense Real-time. Information and Computation, 104:2-34, 1993.
 C. Bergenhem, Q. Huang, A. Benmimoun, and T. Robinson. Challenges of Platooning on Public Motorways. In Proc. 17th World Congress on Intelligent Transport Systems, pages 1-12, 2010.
 S. Colin, A. Lanoix, O. Kouchnarenko, and J. Souquières. Using CSPkb Components: Application to a Platoon of Vehicles. In Formal Methods for Industrial Critical Systems, pages 103-118. Springer, 2009.
 L. A. Dennis and B. Farwer. Gwendolen: A BDI Language for Verifiable Agents. In AISB'08 Workshop on Logic and the Simulation of Interaction and Reasoning. AISB, 2008.
 L. A. Dennis, M. Fisher, N. K. Lincoln, A. Lisitsa, and S. M. Veres. Declarative Abstractions for Agent Based Hybrid Control Systems. In Declarative Agent Languages and Technologies VIII, volume 6619 of LNCS, pages 96-111. Springer, 2011.
 L. A. Dennis, M. Fisher, and M. Webster. Two-Stage Agent Program Verification. Journal of Logic and Computation, 2015. In press.
 L. A. Dennis, M. Fisher, M. P. Webster, and R. H. Bordini. Model Checking Agent Programming Languages. Automated Software Engineering, 19(1):5-63, 2012.
 M. El-Zaher, J.-M. Contet, P. Gruer, F. Gechter, and A. Koukam. Compositional Verification for Reactive Multi-Agent Systems Applied to Platoon non Collision Verification. Stud. Inform. Univ., 10(3):119-141, 2012.
 M. Finger and D. M. Gabbay. Combining Temporal Logic Systems. Notre Dame Journal of Formal Logic, 37(2):204-232, 1996.
 M. Fisher, L. A. Dennis, and M. Webster. Verifying Autonomous Systems. ACM Communications, 56(9):84-93, 2013.