SNAT: Simulation-based search for navigation safety. The case of Singapore Strait | IEEE Conference Publication | IEEE Xplore