{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:08:25Z","timestamp":1748750905227,"version":"3.41.0"},"reference-count":37,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T00:00:00Z","timestamp":1743984000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T00:00:00Z","timestamp":1743984000000},"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":[[2025,4,7]]},"DOI":"10.1109\/syscon64521.2025.11014841","type":"proceedings-article","created":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T17:43:30Z","timestamp":1748627010000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Formally Constrained Reinforcement Learning for Traffic Signal Control at Intersections"],"prefix":"10.1109","author":[{"given":"Oumaima","family":"Barhoumi","sequence":"first","affiliation":[{"name":"Concordia University,Department of Electrical and Computer Engineering,Montreal,Quebec,Canada"}]},{"given":"Mohamed H","family":"Zaki","sequence":"additional","affiliation":[{"name":"Western University,Department of Civil and Environmental Engineering,London,Ontario,Canada"}]},{"given":"Sofi\u00e8ne","family":"Tahar","sequence":"additional","affiliation":[{"name":"Concordia University,Department of Electrical and Computer Engineering,Montreal,Quebec,Canada"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.4028\/www.scientific.net\/AMM.178-181.2591"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.trb.2014.12.002"},{"issue":"3","key":"ref3","first-page":"729","article-title":"Reinforcement learning","volume":"12","author":"Wiering","year":"2012","journal-title":"Adaptation, Learning, and Optimization"},{"issue":"846","key":"ref4","first-page":"1","article-title":"Analyses of rearend crashes and near-crashes in the 100-car naturalistic driving study to support rear-signaling countermeasure development","volume":"810","author":"Lee","year":"2007","journal-title":"DOT HS"},{"volume-title":"Road safety in Canada 2020","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-4666-5888-2.ch705"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17601-3_4"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0191-2607(79)90028-1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1201\/9781003064107-11"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41591-8_2"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2024.3377600"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC57777.2023.10422024"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1061\/JTEPBS.TEENG-8261"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC57777.2023.10422573"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.aap.2021.106389"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/QRS54544.2021.00037"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/BF00992698"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0378-7788(86)90003-4"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v33i1.27191"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10489-017-0999-8"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24611-4_5"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-20652-9_22"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2021.3096998"},{"key":"ref25","first-page":"486","article-title":"A theoretical analysis of deep qlearning","volume-title":"Learning for Dynamics and Control","volume":"120","author":"Fan","year":"2020"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CAIBDA53561.2021.00025"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2010.06.002"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_33"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0001-4575(79)90066-6"},{"issue":"3","key":"ref30","article-title":"Ivhs-smart vehicles, smart roads","volume":"92","author":"Ankrum","year":"1992","journal-title":"Traffic Safety (Chicago)"},{"volume-title":"Near misses as a measure of safety at urban intersections","year":"1971","author":"Hayward","key":"ref31"},{"key":"ref32","first-page":"24","article-title":"Near miss determination through use of a scale of danger","volume":"384","author":"Hayward","year":"1972","journal-title":"Highway Research Record"},{"key":"ref33","first-page":"109","article-title":"Time-to-collision and collision avoidance systems","author":"Van der Horst","year":"1993","journal-title":"International Cooperation on Theories and Concepts in Traffic Safety"},{"volume-title":"SUMO-RL","year":"2019","author":"Alegre","key":"ref34"},{"volume-title":"Vehicle Value Retrieval in Traci","year":"2024","author":"Aerospace Center","key":"ref35"},{"volume-title":"Vehicle-to-vehicle communications: readiness of V2V technology for application","year":"2014","author":"Harding","key":"ref36"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/OJVT.2024.3387414"}],"event":{"name":"2025 IEEE International systems Conference (SysCon)","start":{"date-parts":[[2025,4,7]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2025,4,10]]}},"container-title":["2025 IEEE International systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11014641\/11014642\/11014841.pdf?arnumber=11014841","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:57:20Z","timestamp":1748667440000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11014841\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,7]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/syscon64521.2025.11014841","relation":{},"subject":[],"published":{"date-parts":[[2025,4,7]]}}}