SCALABLE TIMED-AUTOMATA MODELS FOR TRAFFIC LIGHT CONTROL SYSTEMS: CHALLENGES AND SOLUTIONS IN FORMAL VERIFICATION

Scalable Timed-Automata Models for Traffic Light Control Systems: Challenges and Solutions in Formal Verification

Modeling and verification are crucial in designing traffic light control systems, guaranteeing these systems meet desired operational properties and handle dynamic traffic conditions effectively.The design process involves addressing complexities such as route intricacy, congestion, timing, and prioritization, especially important in areas with mul

read more