Synthesizing deterministic maritime traffic situations for testing autonomy. - Benjamin E. Hargis; Yiannis E. Papelis (Simul., 2025)