35 citations · 141 across the 15 of their papers we have counts for
1 paper · 1 filter
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…