APA (7th ed.) Citation

Vain, J., Tsiopoulos, L., Walden, M., & Benterki, A. S. (2025). Constraint Programming-Based Verification of COLREG Safety. IEEE journal of oceanic engineering, 50(4), 2797-2821. https://doi.org/10.1109/JOE.2025.3592285

Chicago Style (17th ed.) Citation

Vain, Juri, Leonidas Tsiopoulos, Marina Walden, and Aboubaker Seddiq Benterki. "Constraint Programming-Based Verification of COLREG Safety." IEEE Journal of Oceanic Engineering 50, no. 4 (2025): 2797-2821. https://doi.org/10.1109/JOE.2025.3592285.

MLA (9th ed.) Citation

Vain, Juri, et al. "Constraint Programming-Based Verification of COLREG Safety." IEEE Journal of Oceanic Engineering, vol. 50, no. 4, 2025, pp. 2797-2821, https://doi.org/10.1109/JOE.2025.3592285.