Arash Khabbaz Saberi, Jan Friso Groote, Sarmen Keshishzadeh. Analysis of Path Planning Algorithms: a Formal Verification-based Approach. In Pietro Liò, Orazio Miglino, Giuseppe Nicosia, Stefano Nolfi, Mario Pavone, editors, Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, ECAL 2013, Sicily, Italy, September 2-6, 2013. pages 232-239, MIT Press, 2013. [doi]
Abstract is missing.