VerifAI: Framework for Functional Verification of AI-based Systems in the Maritime Domain. - Stach, T.; Koch, P.; Constapel, M.; Portier, M.; Schmid, H. (TransNav: International Journal on Marine Navigation & Safety of Sea Transportation, 2024)