Abstract: Autonomous marine vehicles (AMVs) have received considerable attention in the past few decades, mainly because they play essential roles in broad marine applications such as environmental ...
Abstract: Safe motion planning for autonomous vehicles is a challenging task, since the exact future motion of other traffic participant is usually unknown. In this article, we present a verification ...