English
Related papers

Related papers: On the Verification and Validation of AI Navigatio…

200 papers

Autonomous navigation in maritime domains is accelerating alongside advances in artificial intelligence, sensing, and connectivity. Opaque decision-making and poorly calibrated human-automation interaction remain key barriers to safe…

Human-Computer Interaction · Computer Science 2025-09-22 Zhuoyue Zhang , Haitong Xu

While automated driving technology has achieved a tremendous progress, the scalable and rigorous testing and verification of safe automated and autonomous driving vehicles remain challenging. This paper proposes a learning-based…

Robotics · Computer Science 2021-01-27 Andrea Favrin , Vladislav Nenchev , Angelo Cenedese

We propose a method for performing autonomous docking of marine vessels using numerical optimal control. The task is framed as a dynamic positioning problem, with the addition of spatial constraints that ensure collision avoidance. The…

Systems and Control · Electrical Eng. & Systems 2020-01-01 Andreas B. Martinsen , Anastasios M. Lekkas , Sebastien Gros

When deploying autonomous systems in unknown and changing environments, it is critical that their motion planning and control algorithms are computationally efficient and can be reapplied online in real time, whilst providing theoretical…

Systems and Control · Electrical Eng. & Systems 2024-12-06 Seth Siriya , Mo Chen , Ye Pu

As large language models (LLMs) continue to advance and gain influence, the development of embodied AI has accelerated, drawing significant attention, particularly in navigation scenarios. Embodied navigation requires an agent to perceive,…

Artificial Intelligence · Computer Science 2025-08-11 Zixia Wang , Jia Hu , Ronghui Mu

The periodic inspection of vessels is a fundamental task to ensure their integrity and avoid maritime accidents. Currently, these inspections represent a high cost for the ship owner, in addition to the danger that this kind of hostile…

For autonomous vehicles, safe navigation in complex environments depends on handling a broad range of diverse and rare driving scenarios. Simulation- and scenario-based testing have emerged as key approaches to development and validation of…

Automated Driving Systems (ADSs) have seen rapid progress in recent years. To ensure the safety and reliability of these systems, extensive testings are being conducted before their future mass deployment. Testing the system on the road is…

Software Engineering · Computer Science 2021-12-03 Ziyuan Zhong , Yun Tang , Yuan Zhou , Vania de Oliveira Neves , Yang Liu , Baishakhi Ray

Self-driving technology is expected to revolutionize different sectors and is seen as the natural evolution of road vehicles. In the last years, real-world validation of designed and virtually tested solutions is growing in importance since…

Robotics · Computer Science 2022-02-15 Stefano Arrigoni , Simone Mentasti , Federico Cheli , Matteo Matteucci , Francesco Braghin

Current social navigation methods and benchmarks primarily focus on proxemics and task efficiency. While these factors are important, qualitative aspects such as perceptions of a robot's social competence are equally crucial for successful…

Robotics · Computer Science 2024-12-30 Shashank Rao Marpally , Pranav Goyal , Harold Soh

To realize autonomous shipping, autonomous berthing and unberthing are some of the technical challenges. In the past, numerous research have been done on the optimization of trajectory planning of berthing problems. However, these studies…

Optimization and Control · Mathematics 2022-01-14 Yoshiki Miyauchi , Ryohei Sawada , Youhei Akimoto , Naoya Umeda , Atsuo Maki

The emergent behaviour of autonomous robotic swarms poses a significant challenge to their safety assurance. Assurance tasks encompass adherence to standards, certification processes, and the execution of verification and validation (V&V)…

The homologation of automated vehicles, being safety-critical complex systems, requires sound evidence for their safe operability. Traditionally, verification and validation activities are guided by a combination of ISO 26262 and ISO/PAS…

Software Engineering · Computer Science 2020-05-12 Christian Neurohr , Lukas Westhofen , Tabea Henning , Thies de Graaff , Eike Möhlmann , Eckard Böde

Simultaneous localization and mapping (SLAM) algorithms are essential for the autonomous navigation of mobile robots. With the increasing demand for autonomous systems, it is crucial to evaluate and compare the performance of these…

Robotics · Computer Science 2024-01-23 Nwankwo Linus , Elmar Rueckert

Within the next several years, there will be a high level of autonomous technology that will be available for widespread use, which will reduce labor costs, increase safety, save energy, enable difficult unmanned tasks in harsh…

Robotics · Computer Science 2023-01-12 Yuanyuan Qiao , Jiaxin Yin , Wei Wang , Fábio Duarte , Jie Yang , Carlo Ratti

An important focus of current research in the field of Micro Aerial Vehicles (MAVs) is to increase the safety of their operation in general unstructured environments. Especially indoors, where GPS cannot be used for localization, reliable…

Computer Vision and Pattern Recognition · Computer Science 2015-05-12 T. Holzmann , R. Prettenthaler , J. Pestana , D. Muschick , G. Graber , C. Mostegel , F. Fraundorfer , H. Bischof

Web applications are becoming more and more complex. Testing such applications is an intricate hard and time-consuming activity. Therefore, testing is often poorly performed or skipped by practitioners. Test automation can help to avoid…

Software Engineering · Computer Science 2011-08-12 Boni García , Juan Carlos Dueñas

Autonomous navigation in congested maritime environments is a critical capability for a wide range of real-world applications. However, it remains an unresolved challenge due to complex vessel interactions and significant environmental…

Robotics · Computer Science 2026-03-05 Xinyu Cui , Xuanfa Jin , Xue Yan , Yongcheng Zeng , Luoyang Sun , Siying Wei , Ruizhi Zhang , Jian Zhao , Haifeng Zhang , Jun Wang

As the computer vision matures into a systems science and engineering discipline, there is a trend in leveraging latest advances in computer graphics simulations for performance evaluation, learning, and inference. However, there is an open…

Computer Vision and Pattern Recognition · Computer Science 2015-12-04 V S R Veeravasarapu , Rudra Narayan Hota , Constantin Rothkopf , Ramesh Visvanathan

Autonomous space vehicles need adaptive control strategies that can accommodate unanticipated environmental conditions. The evaluation of new strategies can often be done only by actually trying them out in the real physical environment.…

Optimization and Control · Mathematics 2007-05-23 G. W. Greenwood , X. Song