English
Related papers

Related papers: Extending Urban Multi-Lane Spatial Logic to Formal…

200 papers

To realize a market entry of autonomous vehicles in the foreseeable future, the behavior planning system will need to abide by the same rules that humans follow. Product liability cannot be enforced without a proper solution to the approval…

Robotics · Computer Science 2019-12-02 Klemens Esterle , Vincent Aravantinos , Alois Knoll

Autonomous driving promises to transform road transport. Multi-vehicle and multi-lane scenarios, however, present unique challenges due to constrained navigation and unpredictable vehicle interactions. Learning-based methods---such as deep…

Robotics · Computer Science 2020-02-12 Rupert Mitchell , Jenny Fletcher , Jacopo Panerati , Amanda Prorok

Compliance with traffic laws is a fundamental requirement for human drivers on the road, and autonomous vehicles must adhere to traffic laws as well. However, current autonomous vehicles prioritize safety and collision avoidance primarily…

Urban environments offer a challenging scenario for autonomous driving. Globally localizing information, such as a GPS signal, can be unreliable due to signal shadowing and multipath errors. Detailed a priori maps of the environment with…

Robotics · Computer Science 2021-08-12 Jordan Chipka

Unsignalized intersection cooperation of connected and automated vehicles (CAVs) is able to eliminate green time loss of signalized intersections and improve traffic efficiency. Most of the existing research on unsignalized intersection…

Systems and Control · Electrical Eng. & Systems 2021-08-26 Mengchi Cai , Qing Xu , Chaoyi Chen , Jiawei Wang , Keqiang Li , Jianqiang Wang , Xiangbin Wu

The tremendous excitement around the deployment of autonomous vehicles (AVs) comes from their purported promise. In addition to decreasing accidents, AVs are projected to usher in a new era of equity in human autonomy by providing…

Computers and Society · Computer Science 2022-08-04 A. Feder Cooper , Karen Levy

Advanced Aerial Mobility encompasses many outstanding applications that promise to revolutionize modern logistics and pave the way for various public services and industry uses. However, throughout its history, the development of such…

Efficient trajectory planning for urban intersections is currently one of the most challenging tasks for an Autonomous Vehicle (AV). Courteous behavior towards other traffic participants, the AV's comfort and its progression in the…

Robotics · Computer Science 2020-10-08 Oliver Speidel , Maximilian Graf , Ankit Kaushik , Thanh Phan-Huu , Andreas Wedel , Klaus Dietmayer

The challenges in providing convincing arguments for safe and correct behavior of automated driving (AD) systems have so far hindered their widespread commercial deployment. Conventional development approaches such as testing and simulation…

Systems and Control · Electrical Eng. & Systems 2022-04-15 Yuvaraj Selvaraj , Wolfgang Ahrendt , Martin Fabian

Virtual Traffic Light (VTL) is a traffic control method that does not require traffic signal-related infrastructure for roadway intersections. Connected vehicles (CVs) are given right-of-way based on prevailing traffic conditions, such as…

Other Computer Science · Computer Science 2025-06-06 Abyad Enan , M Sabbir Salek , Mashrur Chowdhury , Gurcan Comert , Sakib M. Khan , Reek Majumder

Simulation systems have become an essential component in the development and validation of autonomous driving technologies. The prevailing state-of-the-art approach for simulation is to use game engines or high-fidelity computer graphics…

Computer Vision and Pattern Recognition · Computer Science 2020-10-30 Wei Li , Chengwei Pan , Rong Zhang , Jiaping Ren , Yuexin Ma , Jin Fang , Feilong Yan , Qichuan Geng , Xinyu Huang , Huajun Gong , Weiwei Xu , Guoping Wang , Dinesh Manocha , Ruigang Yang

Modeling and analysis of nonfunctional requirements is crucial in automotive systems. EAST-ADL is an architectural language dedicated to safety-critical automotive system design. We have previously modified EAST-ADL to include energy…

Software Engineering · Computer Science 2018-03-20 Eun-Young Kang , Li Huang , Dongrui Mu

The key to achieving autonomous driving lies in topology-aware perception, the structured understanding of the driving environment with an emphasis on lane topology and road semantics. This survey systematically reviews four core research…

Computer Vision and Pattern Recognition · Computer Science 2025-09-30 Yixiao Chen , Ruining Yang , Xin Chen , Jia He , Dongliang Xu , Yue Yao

Ensuring adherence to traffic sign regulations is essential for both human and autonomous vehicle navigation. While current online mapping solutions often prioritize the construction of the geometric and connectivity layers of HD maps,…

Computer Vision and Pattern Recognition · Computer Science 2025-04-11 Xinyuan Chang , Maixuan Xue , Xinran Liu , Zheng Pan , Xing Wei

The proliferation of connected and automated vehicles (CAVs) has positioned mixed traffic environments, which encompass both CAVs and human driven vehicles (HDVs), as critical components of emerging mobility systems. Signalized…

Systems and Control · Electrical Eng. & Systems 2025-04-08 Filippos N. Tzortzoglou , Logan E. Beaver , Andreas A. Malikopoulos

Achieving full automation in self-driving vehicles remains a challenge, especially in dynamic urban environments where navigation requires real-time adaptability. Existing systems struggle to handle navigation plans when faced with…

Robotics · Computer Science 2025-05-23 Augusto Luis Ballardini , Miguel Ángel Sotelo

Autonomous Vehicles (AVs) will have a transformative impact on society. Beyond the local safety and efficiency of individual vehicles, these effects will also change how people interact with the entire transportation system. This will…

Computers and Society · Computer Science 2022-05-17 Thomas Krendl Gilbert , Aaron J. Snoswell , Michael Dennis , Rowan McAllister , Cathy Wu

Automated vehicles (AV) heavily depend on robust perception systems. Current methods for evaluating vision systems focus mainly on frame-by-frame performance. Such evaluation methods appear to be inadequate in assessing the performance of a…

Robotics · Computer Science 2023-11-22 Mohammad Hekmatnejad , Bardh Hoxha , Jyotirmoy V. Deshmukh , Yezhou Yang , Georgios Fainekos

In recent years many novel applications have appeared that promote the provision of services and activities in a collaborative manner. The key idea behind such systems is to take advantage of idle or underused capacities of existing…

Artificial Intelligence · Computer Science 2024-01-24 Holger Billhardt , José-Antonio Santos , Alberto Fernández , Mar Moreno , Sascha Ossowski , José A. Rodríguez

Autonomous Vehicles (AVs) are increasingly embraced around the world to advance smart mobility and more broadly, smart, and sustainable cities. Algorithms form the basis of decision-making in AVs, allowing them to perform driving tasks…

Computers and Society · Computer Science 2019-10-30 Hazel Si Min Lim , Araz Taeihagh