External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Analysis of Path Planning Algorithms: a Formal Verification-based Approach

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]

Authors

Arash Khabbaz Saberi

This author has not been identified. Look up 'Arash Khabbaz Saberi' in Google

Jan Friso Groote

Identified as Jan Friso Groote

Sarmen Keshishzadeh

This author has not been identified. Look up 'Sarmen Keshishzadeh' in Google
runs on