Autonomous Vessels Collision Verification : Geometric Optimization
author
statement of authorship
Hiba Ben Lahbib, M. Taha Bennani & Jüri Vain
source
Artificial Intelligence Applications and Innovations : 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26–29, 2025 : proceedings. Part I
location of publication
Cham
publisher
year of publication
pages
p. 132–145
series
IFIP Advances in Information and Communication Technology (IFIPAICT) ; vol. 755
conference name, date
Artificial Intelligence Applications and Innovations : 21st IFIP WG 12.5 International Conference, AIAI 2025 : June 26–29, 2025
conference location
Limassol, Cyprus
ISSN
1868-4238
1868-422X
ISBN
978-3-031-96238-7
978-3-031-96239-4
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
subject term
keyword
autonomous vessels
constraint logic programming
safety verification
state space search optimization
classifier
Ben Lahbib, H., Bennani, M.T., Vain, J. Autonomous Vessels Collision Verification : Geometric Optimization // Artificial Intelligence Applications and Innovations : 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26–29, 2025 : proceedings. Part I. Cham : Springer Nature, 2025. p. 132–145. (IFIP Advances in Information and Communication Technology (IFIPAICT) ; vol. 755).