{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T11:32:10Z","timestamp":1751455930274,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,1]]},"DOI":"10.1109\/comsnets.2019.8711457","type":"proceedings-article","created":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T19:00:56Z","timestamp":1557774056000},"page":"789-794","source":"Crossref","is-referenced-by-count":7,"title":["Coordinated Intelligent Traffic Lights using Uppaal Stratego"],"prefix":"10.1109","author":[{"given":"B.","family":"Thamilselvam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Subrahmanyam","family":"Kalyanasundaram","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.V. Panduranga","family":"Rao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23506-6_17"},{"key":"ref11","first-page":"200","author":"behrmann","year":"2004","journal-title":"A Tutorial on Uppaal"},{"key":"ref12","first-page":"244","author":"larsen","year":"0","journal-title":"Online and Compositional Learning of Controllers with Application to Floor Heating"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_16"},{"key":"ref14","first-page":"66","volume":"lncs 3653","author":"cassez","year":"2005","journal-title":"Efficient On-the-fly Algorithms for the Analysis of Timed Games"},{"key":"ref4","article-title":"Intelligent Traffic Light Control System for Isolated Intersection Using Fuzzy Logic","author":"alam","year":"2017","journal-title":"Proc of the2013 Int Conf on Advances in Communication and Control Systems CAC2S 2013"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2017.8317730"},{"key":"ref6","first-page":"417","volume":"11","author":"mousavi","year":"2017","journal-title":"raffic Light Control Using Deep Policy-Gradient and Value-Function Based Reinforcement Learning"},{"key":"ref5","first-page":"379","volume":"11","author":"blokpoel","year":"2017","journal-title":"Advantage of cooperative traffic light control algorithms"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.12720\/joace.4.1.40-46"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICISS.2010.5655002"},{"key":"ref2","article-title":"Recent development and applications of 5 SUMO - Simulation of Urban MObility","volume":"5","author":"krajzewicz","year":"2012","journal-title":"International Journal on Advances in Systems and Measurements"},{"key":"ref1","article-title":"Uppaal Stratego for Intelligent Traffic Lights","author":"eriksen","year":"2017","journal-title":"Proc of the 2017 12th Int Conf on ITS European Congress"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/INFRA.2008.5439678"}],"event":{"name":"2019 11th International Conference on Communication Systems & Networks (COMSNETS)","start":{"date-parts":[[2019,1,7]]},"location":"Bengaluru, India","end":{"date-parts":[[2019,1,11]]}},"container-title":["2019 11th International Conference on Communication Systems & Networks (COMSNETS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8703514\/8711008\/08711457.pdf?arnumber=8711457","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,14]],"date-time":"2022-07-14T23:14:03Z","timestamp":1657840443000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8711457\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/comsnets.2019.8711457","relation":{},"subject":[],"published":{"date-parts":[[2019,1]]}}}