• Constraint Programming-Based Verification of COLREG SafetyVain, Jüri; Tsiopoulos, Leonidas; Walden, Marina; Benterki, Aboubaker SeddiqIEEE journal of oceanic engineering2025 / p. 2797-2821 https://doi.org/10.1109/JOE.2025.3592285
• Using Incremental Inductive Logic Programming for Learning Spoofing Attacks on Maritime Automatic Identification System DataBenterki, Aboubaker Seddiq; Visky, Gabor; Vain, Jüri; Tsiopoulos, LeonidasMaritime Cybersecurity2025 / p. 123-141 https://doi.org/10.1007/978-3-031-87290-7_7