Model Checking for Decision Making System of Long Endurance Unmanned Surface Vehicle

Hanlin Niu, Ze Ji, Al Savvaris +2

This work aims to develop a model checking method to verify the decision making system of Unmanned Surface Vehicle (USV) in a long range surveillance mission. The scenario in this…