Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao. Coordinated Intelligent Traffic Lights using Uppaal Stratego. In 11th International Conference on Communication Systems & Networks, COMSNETS 2019, Bengaluru, India, January 7-11, 2019. pages 789-794, IEEE, 2019. [doi]
Abstract is missing.