Moral and formal model-based control strategy for autonomous vehicles at traffic-light-free intersections

T Zhou, Y Zhao, Z Lin, J Zhou, H Li, F Wang - Smart Construction and …, 2024 - Springer
Making an effective traffic strategy is a challenging problem that involves efficiency and
safety, where traffic lights play an important role. Especially in cases without traffic lights …