Coordinated Intelligent Traffic Lights using Uppaal Stratego. - Thamilselvam B; Subrahmanyam Kalyanasundaram; M. V. Panduranga Rao (COMSNETS, 2019)

Scalable Coordinated Intelligent Traffic Light Controller for Heterogeneous Traffic Scenarios Using UPPAAL STRATEGO. - Thamilselvam B; Subrahmanyam Kalyanasundaram; M. V. Panduranga Rao (COMSNETS, 2021)

Statistical Model Checking for Traffic Models. - Thamilselvam B; Subrahmanyam Kalyanasundaram; Shubham Parmar; M. V. Panduranga Rao (SBMF, 2021)

Decentralized Multi Agent Deep Reinforcement Q-Learning for Intelligent Traffic Controller. - Thamilselvam B; Subrahmanyam Kalyanasundaram; M. V. Panduranga Rao (AIAI (1), 2023)

Traffic Intersections as Agents: A model checking approach for analysing communicating agents. - Thamilselvam B; Yenda Ramesh; Subrahmanyam Kalyanasundaram; M. V. Panduranga Rao (SAC, 2023)