A survey on self-evolving autonomous driving: a perspective on data closed-loop technology

X Li, Z Wang, Y Huang, H Chen - IEEE Transactions on …, 2023 - ieeexplore.ieee.org
Self evolution refers to the ability of a system to evolve autonomously towards a better
performance, which is a potential trend for autonomous driving systems based on self …

Recent trends in autonomous vehicle validation ensuring road safety with emphasis on learning algorithms

A Abraham, SC Nagavarapu, S Prasad… - … , Robotics and Vision …, 2022 - ieeexplore.ieee.org
Recently, autonomous vehicles (AVs) have received a lot of attention from the automotive
industry as well as the AV research community across the globe. To increase the safety of …

Correct by design coordination of autonomous driving systems

M Bozga, J Sifakis - International Journal on Software Tools for …, 2023 - Springer
The paper proposes a method for the correct by design coordination of autonomous driving
systems (ADS). It builds on previous results on collision avoidance policies and the …

Safe by Design Autonomous Driving Systems

M Bozga, J Sifakis - arXiv preprint arXiv:2405.11995, 2024 - arxiv.org
Developing safe autonomous driving systems is a major scientific and technical challenge.
Existing AI-based end-to-end solutions do not offer the necessary safety guarantees, while …

Correct by design coordination of autonomous driving systems

M Bozga, J Sifakis - … Symposium on Leveraging Applications of Formal …, 2022 - Springer
The paper proposes a method for the correct by design coordination of autonomous driving
systems (ADS). It builds on previous results on collision avoidance policies and the …

Provably Safe Design Methodology for Automatic Longitudinal Control of Autonomous Vehicles

M Waqas, P Nuzzo, P Ioannou - IEEE Transactions on …, 2024 - ieeexplore.ieee.org
Formally verified automatic longitudinal control (ALC) of road vehicles in complex driving
scenarios, including traffic light and road geometry constraints and adverse weather …

Trade-off between safety and traffic flow for connected autonomous vehicles in the presence of traffic signals

M Waqas, FV Monteiro… - 2022 IEEE 25th …, 2022 - ieeexplore.ieee.org
Safety and compliance with traffic rules are the most important factors in the design of
autonomous vehicles. Recently, provably safe automatic longitudinal controller (ALC) has …

Systematic and Provably Safe Design Methodology for Connected and Automated Vehicles

P Ioannou, M Waqas, MT Center, PS Region - 2023 - rosap.ntl.bts.gov
Today's sensor technologies are not at the level of emulating human eyes with 100%
accuracy. Recent accidents with autonomous vehicles where sensors failed to correctly …