TY  - RPRT
TI  - Model Checking for Decision Making System of Long Endurance Unmanned Surface Vehicle
AU  - Hanlin Niu
AU  - Ze Ji
AU  - Al Savvaris
AU  - Antonios Tsourdos
AU  - Joaquin Carrasco
PY  - 2021
UR  - https://arxiv.org/abs/2102.10604
ID  - 2102.10604
ER  -