Abstract: This study examines traffic signal optimization at an intersection by means of formal methods for mobility and safety of vehicular and pedestrian movements. In view of this, the ...

Abstract: With the development of intelligent vehicle and platoon technology, multi-platoon system will become a new solution to further improve traffic efficiency on highways. However, the existing ...