Auditorium Maximum - Session B6

Artificial Intelligence (AI)

Chairmen:

Seojeong Lee (South Korea)
Dariusz Barbucha (Poland)

Modern Method Based on Artificial Intelligence for Safe Control in the Marine Environment
Mostefa Mohamed-Seghir

Optimization of Daily Operations in the Marine Industry Using Ant Colony Optimization (ACO)-An Artificial Intelligence (AI) Approach
Abdullah Sardar , Mohan Anantharaman , Vikram Garaniya , Faisal Khan

VerifAI: Framework for Functional Verification of AI-based Systems in the Maritime Domain
Thomas Stach , Paul Koch , Manfred Constapel , Martin Portier , Helmut Schmid