Autonomous Vessels Collision Verification : Geometric Optimization
author
Ben Lahbib, Hiba
Bennani, Mohamed Taha
Vain, Jüri
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
Springer Nature
year of publication
2025
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
url
https://doi.org/10.1007/978-3-031-96239-4_10
subject term
kaugjuhitavad sõidukid
laevad
rahvusvahelised lepingud
navigatsioon
keyword
autonomous vessels
constraint logic programming
safety verification
state space search optimization
ISSN
1868-4238
1868-422X
ISBN
978-3-031-96238-7
978-3-031-96239-4
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise