Abstract Modelling and Analysing Cyber–Physical Systems (CPS) is a challenge for Formal
Methods and therefore a field of active research. It is characteristic of CPSs that models …

The rapid increase in conventional diesel and gasoline vehicles in developing countries
draws attention to clean energy vehicles, including electric buses. From socioeconomic and …

Given the rapid advancement of autonomous driving technology, discerning public
willingness to pay and anticipated driving behavior for autonomous vehicles is crucial for …

In order to reduce traffic congestion, real-time traffic control is one of the most widely
adopted strategies. However, the effectiveness of this approach is constrained not only by …

On highways, it is commonplace to observe car-following behavior among vehicles.
Unfortunately, this behavior results in significant particulate matter (PM) emissions, which …

Autonomous vehicles hold the potential to significantly improve traffic efficiency and
advance the development of intelligent transportation systems. With the progression of …

Autonomous vehicles (AVs) and connected autonomous vehicles (CAVs) are expected to
have a significant impact on highways, but their planning horizon impacts have not been …

The automotive sector is currently developing advanced autonomous functionalities which
are expected to be soon integrated into the vehicles. These vehicles can help to reduce road …

After rapid technological developments, especially over the past decade, autonomous
vehicle (ie, self-driving) technology is expected to be ready for wide deployment soon, with …

Over the last decade, numerous technologies and innovations enabled the emergence of
new mobility services. These emerging mobility services include, but are not limited to …