Inproceedings,
Analysis of Path Planning Algorithms: a Formal Verification-based Approach.
A. Saberi, J. Groote, and S. Keshishzadeh.ECAL, page 232-239. MIT Press, (2013)
Meta data
- BibTeX key
- conf/ecal/SaberiGK13
- entry type
- inproceedings
- booktitle
- ECAL
- year
- 2013
- pages
- 232-239
- publisher
- MIT Press
- crossref
- conf/ecal/2013
- ee
- https://doi.org/10.7551/978-0-262-31709-2-ch035
- isbn
- 9780262317092
- url
- http://dblp.uni-trier.de/db/conf/ecal/ecal2013.html#SaberiGK13
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ecal/SaberiGK13
%A Saberi, Arash Khabbaz
%A Groote, Jan Friso
%A Keshishzadeh, Sarmen
%B ECAL
%D 2013
%E Liò, Pietro
%E Miglino, Orazio
%E Nicosia, Giuseppe
%E Nolfi, Stefano
%E Pavone, Mario
%I MIT Press
%K dblp
%P 232-239
%T Analysis of Path Planning Algorithms: a Formal Verification-based Approach.
%U http://dblp.uni-trier.de/db/conf/ecal/ecal2013.html#SaberiGK13
%@ 9780262317092
@inproceedings{conf/ecal/SaberiGK13,
added-at = {2021-02-09T00:00:00.000+0100},
author = {Saberi, Arash Khabbaz and Groote, Jan Friso and Keshishzadeh, Sarmen},
biburl = {https://www.bibsonomy.org/bibtex/24e3a8e22bd80b2dee93e5f6a13dbb9d0/dblp},
booktitle = {ECAL},
crossref = {conf/ecal/2013},
editor = {Liò, Pietro and Miglino, Orazio and Nicosia, Giuseppe and Nolfi, Stefano and Pavone, Mario},
ee = {https://doi.org/10.7551/978-0-262-31709-2-ch035},
interhash = {480f0036c0dcbacd33c953c3df4b0eaf},
intrahash = {4e3a8e22bd80b2dee93e5f6a13dbb9d0},
isbn = {9780262317092},
keywords = {dblp},
pages = {232-239},
publisher = {MIT Press},
timestamp = {2024-04-09T09:47:51.000+0200},
title = {Analysis of Path Planning Algorithms: a Formal Verification-based Approach.},
url = {http://dblp.uni-trier.de/db/conf/ecal/ecal2013.html#SaberiGK13},
year = 2013
}