TY  - RPRT
TI  - Symbolic Control for Autonomous Docking of Marine Surface Vessels
AU  - Elizabeth Dietrich
AU  - Emir Cem Gezer
AU  - Bingzhuo Zhong
AU  - Murat Arcak
AU  - Majid Zamani
AU  - Roger Skjetne
AU  - Asgeir Johan Sørensen
PY  - 2025
UR  - https://arxiv.org/abs/2501.13199
ID  - 2501.13199
ER  -