Validation of ship intention model for maritime collision avoidance control using historical AIS data | IEEE Conference Publication | IEEE Xplore