Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control

Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah +2

Autonomous traffic control systems are large-scale systems with critical goals. Due to the dynamic nature of the surrounding world of these systems, assuring the satisfaction of th…