Currently autonomous or self-driving vehicles are at the heart of academia and industry
research because of its multi-faceted advantages that includes improved safety, reduced …

We provide a review of recent work on formal methods for autonomous driving. Formal
methods have been traditionally used to specify and verify the behavior of computer …

Autonomous vehicles are expected to play a key role in the future of urban transportation
systems, as they offer potential for additional safety, increased productivity, greater …

Autonomous vehicles (AVs) have now drawn significant attentions in academic and
industrial research because of various advantages such as safety improvement, lower …

The behavior of self-driving cars must be compatible with an enormous set of conflicting and
ambiguous objectives, from law, from ethics, from the local culture, and so on. This paper …

Motion planning is a fundamental problem in autonomous robotics that requires finding a
path to a specified goal that avoids obstacles and takes into account a robot's limitations and …

Intersections are difficult to navigate for both human drivers and autonomous vehicles
because several diverse traffic rules must be considered. In addition, current traffic rules are …

To allow autonomous vehicles to safely participate in traffic and to avoid liability claims for
car manufacturers, autonomous vehicles must obey traffic rules. However, current traffic …

Recently, bio-inspired algorithms have been increasingly explored for autonomous robot
path planning on grid-based maps. However, these approaches endure performance …

Autonomous vehicles need to be designed to abide by the same rules that humans follow.
This is challenging, because traffic rules are fuzzy and not well defined, making them …