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]
@inproceedings{SaberiGK13,
title = {Analysis of Path Planning Algorithms: a Formal Verification-based Approach},
author = {Arash Khabbaz Saberi and Jan Friso Groote and Sarmen Keshishzadeh},
year = {2013},
doi = {10.7551/978-0-262-31709-2-ch035},
url = {http://dx.doi.org/10.7551/978-0-262-31709-2-ch035},
researchr = {https://researchr.org/publication/SaberiGK13},
cites = {0},
citedby = {0},
pages = {232-239},
booktitle = {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},
editor = {Pietro Liò and Orazio Miglino and Giuseppe Nicosia and Stefano Nolfi and Mario Pavone},
publisher = {MIT Press},
isbn = {9780262317092},
}