Constraint Programming-Based Verification of COLREG Safety
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Walden, Marina
;
Benterki, Aboubaker Seddiq
IEEE journal of oceanic engineering
2025
/
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 Data
Benterki, Aboubaker Seddiq
;
Visky, Gabor
;
Vain, Jüri
;
Tsiopoulos, Leonidas
Maritime Cybersecurity
2025
/
p. 123-141 : ill
https://doi.org/10.1007/978-3-031-87290-7_7
https://www.scopus.com/sourceid/21100901476
https://www.scopus.com/pages/publications/105010173383?origin=resultslist
https://www.webofscience.com/wos/woscc/full-record/WOS:001661212800008