中文
相关论文

相关论文: Extending Urban Multi-Lane Spatial Logic to Formal…

200 篇论文

Security of (semi)-autonomous vehicles is a growing concern, first, due to the increased exposure of the functionality to the potential attackers; second, due to the reliance of car functionalities on diverse (semi)-autonomous systems;…

密码学与安全 · 计算机科学 2018-10-02 Anupam Chattopadhyay , Kwok-Yan Lam

For an autonomous vehicle, situation understand-ing is a key capability towards safe and comfortable decision-making and navigation. Information is in general provided bymultiple sources. Prior information about the road topology andtraffic…

机器人学 · 计算机科学 2021-10-25 Corentin Sanchez , Philippe Xu , Alexandre Armand , Philippe Bonnifait

Self-driving vehicles have their own intelligence to drive on open roads. However, vehicle managers, e.g., government or industrial companies, still need a way to tell these self-driving vehicles what behaviors are encouraged or forbidden.…

机器人学 · 计算机科学 2023-04-20 Jiaxin Liu , Wenhui Zhou , Hong Wang , Zhong Cao , Wenhao Yu , Chengxiang Zhao , Ding Zhao , Diange Yang , Jun Li

Modeling and evaluation of automated vehicles (AVs) in mixed-autonomy traffic is essential prior to their safe and efficient deployment. This is especially important at urban junctions where complex multi-agent interactions occur. Current…

最优化与控制 · 数学 2025-07-30 Saeed Rahmani , Simeon C. Calvert , Bart van Arem

Challenges related to automated driving are no longer focused on just the construction of such automated vehicles (AVs), but in assuring the safety of their operation. Recent advances in Level 3 and Level 4 autonomous driving have motivated…

系统与控制 · 电气工程与系统科学 2022-05-09 Tong Zhao , Ekim Yurtsever , Joel Paulson , Giorgio Rizzoni

Autonomous Vehicles (AVs) are complex systems that drive in uncertain environments and potentially navigate unforeseeable situations. Safety of these systems requires not only an absence of malfunctions but also high performance of…

机器人学 · 计算机科学 2021-05-11 Anne Collin , Artur Bilka , Scott Pendleton , Radboud Duintjer Tebbens

Automated Driving Functions (ADFs) need to comply with spatial properties of varied complexity while driving on public roads. Since such situations are safety-critical in nature, it is necessary to continuously check ADFs for compliance…

计算机科学中的逻辑 · 计算机科学 2025-11-19 Ishan Saxena , Bernd Westphal , Martin Fränzle

Despite advancements in perception and planning for autonomous vehicles (AVs), validating their performance remains a significant challenge. The deployment of planning algorithms in real-world environments is often ineffective due to…

机器人学 · 计算机科学 2025-05-07 Joshua Ransiek , Philipp Reis , Tobias Schürmann , Eric Sax

Hybrid traffic laws represent an innovative approach to managing mixed environments of connected autonomous vehicles (CAVs) and human-driven vehicles (HDVs) by introducing separate sets of regulations for each vehicle type. These laws are…

多智能体系统 · 计算机科学 2025-02-19 Tal Kraicer , Jack Haddad , Erez Karaps , Moshe Tennenholtz

This paper focuses on the legal compliance challenges of autonomous vehicles in a transnational context. We choose the perspective of designers and try to provide supporting legal reasoning in the design process. Based on argumentation…

人工智能 · 计算机科学 2025-07-31 Zhe Yu , Yiwei Lu , Burkhard Schafer , Zhe Lin

The technological and scientific challenges involved in the development of autonomous vehicles (AVs) are currently of primary interest for many automobile companies and research labs. However, human-controlled vehicles are likely to remain…

机器学习 · 计算机科学 2020-06-22 Ran Emuna , Avinoam Borowsky , Armin Biess

This paper introduces and tests a framework integrating traffic regulation compliance into automated driving systems (ADS). The framework enables ADS to follow traffic laws and make informed decisions based on the driving environment. Using…

机器人学 · 计算机科学 2025-03-13 Xu Han , Zhiwen Wu , Xin Xia , Jiaqi Ma

The deployment of Autonomous Vehicles (AVs) poses considerable challenges and unique opportunities for the design and management of future urban road infrastructure. In light of this disruptive transformation, the Right-Of-Way (ROW)…

机器学习 · 计算机科学 2023-03-23 Qiming Ye , Yuxiang Feng , Jose Javier Escribano Macias , Marc Stettler , Panagiotis Angeloudis

The rapid development of autonomous vehicles (AVs) holds vast potential for transportation systems through improved safety, efficiency, and access to mobility. However, the progression of these impacts, as AVs are adopted, is not well…

人工智能 · 计算机科学 2022-01-03 Cathy Wu , Aboudy Kreidieh , Kanaad Parvate , Eugene Vinitsky , Alexandre M Bayen

Autonomous Vehicles (AVs), furnished with sensors capable of capturing essential vehicle dynamics such as speed, acceleration, and precise location, possess the capacity to execute intelligent maneuvers, including lane changes, in…

机器学习 · 计算机科学 2024-06-28 Emanuel Figetakis , Yahuza Bello , Ahmed Refaey , Abdallah Shami

This paper serves as an introduction and overview of the potentially useful models and methodologies from artificial intelligence (AI) into the field of transportation engineering for autonomous vehicle (AV) control in the era of mixed…

人工智能 · 计算机科学 2020-07-13 Xuan Di , Rongye Shi

For a foreseeable future, autonomous vehicles (AVs) will operate in traffic together with human-driven vehicles. Their planning and control systems need extensive testing, including early-stage testing in simulations where the interactions…

机器人学 · 计算机科学 2020-07-21 Ran Tian , Nan Li , Ilya Kolmanovsky , Yildiray Yildiz , Anouck Girard

Autonomous systems are becoming increasingly prevalent in new vehicles. Due to their environmental friendliness and their remarkable capability to significantly enhance road safety, these vehicles have gained widespread recognition and…

机器人学 · 计算机科学 2025-07-04 Reem Alhabib , Poonam Yadav

Autonomous Vehicle (AV) technology is advancing rapidly, promising a significant shift in road transportation safety and potentially resolving various complex transportation issues. With the increasing deployment of AVs by various…

多智能体系统 · 计算机科学 2023-12-11 Ahmed Abdelrahman

One of the primary challenges in urban autonomous vehicle decision-making and planning lies in effectively managing intricate interactions with diverse traffic participants characterized by unpredictable movement patterns. Additionally,…

多智能体系统 · 计算机科学 2025-05-19 Keqi Shu , Minghao Ning , Ahmad Alghooneh , Shen Li , Mohammad Pirani , Amir Khajepour