English
Related papers

Related papers: Avis: In-Situ Model Checking for Unmanned Aerial V…

200 papers

Autonomous vehicles (AVs) have significantly advanced in real-world deployment in recent years, yet safety continues to be a critical barrier to widespread adoption. Traditional functional safety approaches, which primarily verify the…

Automated Driving (AD) systems have the potential to increase safety, comfort and energy efficiency. Recently, major automotive companies have started testing and validating AD systems (ADS) on public roads. Nevertheless, the commercial…

Autonomous Vehicles (AVs) heavily rely on sensors and communication networks like Global Positioning System (GPS) to navigate autonomously. Prior research has indicated that networks like GPS are vulnerable to cyber-attacks such as spoofing…

This article presents novel designs of autonomous UAV prototypes specifically developed for inspecting GPS-denied tunnel construction environments with dynamic human and robotic presence. Our UAVs integrate advanced sensor suites and robust…

Robotics · Computer Science 2024-08-15 Yiping Dong

Unmanned Aerial Vehicle (UAV) offers lots of applications in both commerce and recreation. With this, monitoring the operation status of UAVs is crucially important. In this work, we consider the task of tracking UAVs, providing rich…

Computer Vision and Pattern Recognition · Computer Science 2021-02-09 Nan Jiang , Kuiran Wang , Xiaoke Peng , Xuehui Yu , Qiang Wang , Junliang Xing , Guorong Li , Jian Zhao , Guodong Guo , Zhenjun Han

Connected and Autonomous Vehicles (CAVs) enhance mobility but face cybersecurity threats, particularly through the insecure Controller Area Network (CAN) bus. Cyberattacks can have devastating consequences in connected vehicles, including…

Cryptography and Security · Computer Science 2025-05-20 Muzun Althunayyan , Amir Javed , Omer Rana

Spatial disorientation is a leading cause of fatal aircraft accidents. This paper explores the potential of AI agents to aid pilots in maintaining balance and preventing unrecoverable losses of control by offering cues and corrective…

Human-Computer Interaction · Computer Science 2024-09-24 Sheikh Mannan , Paige Hansen , Vivekanand Pandey Vimal , Hannah N. Davies , Paul DiZio , Nikhil Krishnaswamy

Unmanned aerial vehicles (UAVs) depend on untrusted software components to automate dangerous or critical missions, making them a desirable target for attacks. Some work has been done to prevent an attacker who has either compromised a…

Cryptography and Security · Computer Science 2025-04-15 Arthur Amorim , Max Taylor , Trevor Kann , Gary T. Leavens , William L. Harrison , Lance Joneckis

UAVs have the potential to revolutionize urban management and provide valuable services to citizens. They can be deployed across diverse applications, including traffic monitoring, disaster response, environmental monitoring, and numerous…

Cryptography and Security · Computer Science 2026-01-28 Abdullah Khanfor , Raby Hamadi , Noureddine Lasla , Hakim Ghazzai

There is an increased interest in the use of Unmanned Aerial Vehicles (UAVs) for agriculture, military, disaster management and aerial photography around the world. UAVs are scalable, flexible and are useful in various environments where…

Computer Vision and Pattern Recognition · Computer Science 2020-08-05 Bapireddy Karri

The reliability of a machine vision system for autonomous driving depends heavily on its training data distribution. When a vehicle encounters significantly different conditions, such as atypical obstacles, its perceptual capabilities can…

Computer Vision and Pattern Recognition · Computer Science 2026-04-17 Fabrizio Genilotti , Arianna Stropeni , Gionata Grotto , Francesco Borsatti , Manuel Barusco , Davide Dalle Pezze , Gian Antonio Susto

The interest in autonomous vehicles (AVs) for critical missions, including transportation, rescue, surveillance, reconnaissance, and mapping, is growing rapidly due to their significant safety and mobility benefits. AVs consist of complex…

Cryptography and Security · Computer Science 2025-09-23 Md Wasiul Haque , Md Erfan , Sagar Dasgupta , Md Rayhanur Rahman , Mizanur Rahman

Due to the inability to receive signals from the Global Navigation Satellite System (GNSS) in extreme conditions, achieving accurate and robust navigation for Unmanned Aerial Vehicles (UAVs) is a challenging task. Recently emerged,…

Robotics · Computer Science 2024-02-06 Yuxin Wang , Zunlei Feng , Haofei Zhang , Yang Gao , Jie Lei , Li Sun , Mingli Song

In the 21st century, the industry of drones, also known as Unmanned Aerial Vehicles (UAVs), has witnessed a rapid increase with its large number of airspace users. The tremendous benefits of this technology in civilian applications such as…

Cryptography and Security · Computer Science 2021-10-06 Yassine Mekdad , Ahmet Aris , Leonardo Babun , Abdeslam EL Fergougui , Mauro Conti , Riccardo Lazzeretti , A. Selcuk Uluagac

Unmanned aerial vehicles (UAV) have been widely used in various fields, and their invasion of security and privacy has aroused social concern. Several detection and tracking systems for UAVs have been introduced in recent years, but most of…

Computer Vision and Pattern Recognition · Computer Science 2022-05-24 Jie Zhao , Jingshu Zhang , Dongdong Li , Dong Wang

Safe autonomous landing for Unmanned Aerial Vehicles (UAVs) in populated areas is a crucial aspect for successful urban deployment, particularly in emergency landing situations. Nonetheless, validating autonomous landing in real scenarios…

Fully autonomous vehicles (AVs), i.e., AVs with autonomy level 5, are expected to dominate road transportation in the near-future and contribute trillions of dollars to the global economy. The general public, government organizations, and…

Software Engineering · Computer Science 2019-07-03 Saurabh Jha , Timothy Tsai , Siva Hari , Michael Sullivan , Zbigniew Kalbarczyk , Stephen W. Keckler , Ravishankar K. Iyer

The safety and resilience of fully autonomous vehicles (AVs) are of significant concern, as exemplified by several headline-making accidents. While AV development today involves verification, validation, and testing, end-to-end assessment…

Artificial intelligence (AI) models are becoming key components in an autonomous vehicle (AV), especially in handling complicated perception tasks. However, closing the loop through AI-based feedback may pose significant risks on…

Systems and Control · Electrical Eng. & Systems 2025-09-16 Tao Yan , Zheyu Zhang , Jingjing Jiang , Wen-Hua Chen

Autonomous vehicles (AVs) rely on environment perception and behavior prediction to reason about agents in their surroundings. These perception systems must be robust to adverse weather such as rain, fog, and snow. However, validation of…

Robotics · Computer Science 2022-03-29 Harrison Delecki , Masha Itkina , Bernard Lange , Ransalu Senanayake , Mykel J. Kochenderfer