Verifying collision avoidance behaviours for unmanned surface vehicles using probabilistic model checking

Files in this item

This item appears in the following Collection(s)

Search CERES


Browse

My Account

Statistics