Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Daumantas Pagojus"'
Fast and reliable trajectory planning is a key requirement of autonomous vehicles. In this paper we introduce a novel technique for planning the route of an autonomous vehicle on a straight rural road using the Spin model checker. We show how we can
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5b73f69de5014284faa267485d935fa2
http://arxiv.org/abs/2110.12577
http://arxiv.org/abs/2110.12577
