English
Related papers

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

200 papers

This paper describes how to proficiently prevent software defects in autonomous vehicles, discover and correct defects if they are encountered, and create a higher level of assurance in the software product development phase. It also…

Software Engineering · Computer Science 2024-11-22 Sneha Sudhir Shetiya , Vikas Vyas , Shreyas Renukuntla

Safe autonomous navigation is an essential and challenging problem for robots operating in highly unstructured or completely unknown environments. Under these conditions, not only robotic systems must deal with limited localisation…

Robotics · Computer Science 2020-05-27 Èric Pairet , Juan David Hernández , Marc Carreras , Yvan Petillot , Morteza Lahijanian

Advanced embedded algorithms are growing in complexity and they are an essential contributor to the growth of autonomy in many areas. However, the promise held by these algorithms cannot be kept without proper attention to the considerably…

Computation and Language · Computer Science 2020-05-27 Raphaël Cohen , Eric Féron , Pierre-Loïc Garoche

An open question in autonomous driving is how best to use simulation to validate the safety of autonomous vehicles. Existing techniques rely on simulated rollouts, which can be inefficient for finding rare failure events, while other…

Robotics · Computer Science 2020-06-29 Anthony Corso , Ritchie Lee , Mykel J. Kochenderfer

With the rapid development of simulation tools, the development and validation of autonomous robotic systems have become more efficient before real-world deployment. This paper presents a simulation-to-real implementation of an autonomous…

Robotics · Computer Science 2026-05-28 Vinh Nguyen , Gia-Uy Le , Tien-Dat Nguyen , Tri-Tin Nguyen , Vinh-Hao Nguyen

This paper presents pragmatic solutions for verifying complex mathematical algorithms implemented in hardware in an efficient and effective manner. Maximizing leverage of a known-answer-test strategy, based on predefined data scenarios…

Artificial Intelligence · Computer Science 2024-12-30 Mark Litterick , Aleksandar Ivankovic , Bojan Arsov , Aman Kumar

Learning-based navigation systems are widely used in autonomous applications, such as robotics, unmanned vehicles and drones. Specialized hardware accelerators have been proposed for high-performance and energy-efficiency for such…

Robotics · Computer Science 2021-11-10 Zishen Wan , Aqeel Anwar , Yu-Shun Hsiao , Tianyu Jia , Vijay Janapa Reddi , Arijit Raychowdhury

Autonomous Underwater Vehicles (AUVs) need to operate for days without human intervention and thus must be able to do efficient and reliable task planning. Unfortunately, efficient task planning requires deliberately abstract domain models…

Enabling socially acceptable behavior for situated agents is a major goal of recent robotics research. Robots should not only operate safely around humans, but also abide by complex social norms. A key challenge for developing…

Robotics · Computer Science 2022-05-03 Sören Pirk , Edward Lee , Xuesu Xiao , Leila Takayama , Anthony Francis , Alexander Toshev

Autonomous vessels potentially enhance safety and reliability of seaborne trade. To facilitate the development of autonomous vessels, high-fidelity simulations are required to model realistic interactions with other vessels. However,…

Robotics · Computer Science 2025-01-10 Hanna Krasowski , Stefan Schärdinger , Murat Arcak , Matthias Althoff

Navigation is one of the most heavily studied problems in robotics, and is conventionally approached as a geometric mapping and planning problem. However, real-world navigation presents a complex set of physical challenges that defies…

Robotics · Computer Science 2022-12-14 Sergey Levine , Dhruv Shah

Recently, there has been growing interest in autonomous shipping due to its potential to improve maritime efficiency and safety. The use of advanced technologies, such as artificial intelligence, can address the current navigational and…

Machine Learning · Computer Science 2024-11-08 Bavo Lesy , Ali Anwar , Siegfried Mercelis

Autonomous ships are essentially designed and equipped to perceive their internal and external environment and subsequently perform appropriate actions depending on the predetermined objective(s) without human intervention. Consequently,…

Systems and Control · Electrical Eng. & Systems 2024-02-15 Agnes Ngina Mwange , Dimas Maulana Rachman , Rin Suyama , Atsuo Maki

Artificial Intelligence (AI) algorithms are increasingly providing decision making and operational support across multiple domains. AI includes a wide library of algorithms for different problems. One important notion for the adoption of AI…

Artificial Intelligence · Computer Science 2021-11-16 Feras A. Batarseh , Laura Freeman

Game-based interactive driving simulations have emerged as versatile platforms for advancing decision-making algorithms in road transport mobility. While these environments offer safe, scalable, and engaging settings for testing driving…

Robotics · Computer Science 2025-09-09 Zhihao Lin , Zhen Tian

The widescale deployment of Autonomous Vehicles (AV) appears to be imminent despite many safety challenges that are yet to be resolved. It is well-known that there are no universally agreed Verification and Validation (VV) methodologies…

Robotics · Computer Science 2020-11-17 Dhanoop Karunakaran , Stewart Worrall , Eduardo Nebot

We present a novel method for testing the safety of self-driving vehicles in simulation. We propose an alternative to sensor simulation, as sensor simulation is expensive and has large domain gaps. Instead, we directly simulate the outputs…

Computer Vision and Pattern Recognition · Computer Science 2020-08-14 Kelvin Wong , Qiang Zhang , Ming Liang , Bin Yang , Renjie Liao , Abbas Sadat , Raquel Urtasun

Simulation-based testing of autonomous vehicles (AVs) has become an essential complement to road testing to ensure safety. Consequently, substantial research has focused on searching for failure scenarios in simulation. However, a…

Computer Vision and Pattern Recognition · Computer Science 2021-12-02 Edward Kim , Jay Shenoy , Sebastian Junges , Daniel Fremont , Alberto Sangiovanni-Vincentelli , Sanjit Seshia

Human navigation has been a topic of interest in spatial cognition from the past few decades. It has been experimentally observed that humans accomplish the task of way-finding a destination in an unknown environment by recognizing…

Social and Information Networks · Computer Science 2011-11-22 Vijesh M. , Sudarshan Iyengar , Vijay Mahantesh , Amitash Ramesh , Veni Madhavan

Control systems on unmanned vehicles are safety-critical systems whose requirements on reliability and safety are ever-increasing. Currently, testing a complex autonomous control system is an expensive and time-consuming process, which…

Systems and Control · Electrical Eng. & Systems 2019-08-08 Xunhua Dai , Chenxu Ke , Quan Quan , Kai-Yuan Cai
‹ Prev 1 3 4 5 6 7 10 Next ›