[LNST16]
Yu Lu, Hanlin Niu, Al Savvaris and Antonios Tsourdos.
Verifying Collision Avoidance Behaviours for Unmanned Surface Vehicles using Probabilistic Model Checking.
IFAC-PapersOnLine.
2016.
[Verifies collision avoidance scenarios in unmanned surface vehicles using PRISM.]
|
