[IEEE 2017 IEEE 3rd Colombian Conference on Automatic Control (CCAC) - Cartagena (2017.10.18-2017.10.20)] 2017 IEEE 3rd Colombian Conference on Automatic Control (CCAC) - A methodology to evaluate combinatorial explosion using LTL in autonomous ground navigation applications
Valencia, Jorge Luis Martinez, Londono, Mauricio Holguin, Mejia, Andres EscobarAnnée:
2017
DOI:
10.1109/CCAC.2017.8276430
Fichier:
PDF, 147 KB
2017