{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T17:37:32Z","timestamp":1779903452057,"version":"3.53.1"},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2022,11,1]],"date-time":"2022-11-01T00:00:00Z","timestamp":1667260800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,11,1]],"date-time":"2022-11-01T00:00:00Z","timestamp":1667260800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,11,1]],"date-time":"2022-11-01T00:00:00Z","timestamp":1667260800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100006283","name":"Federal Railroad Administration Office of Research, Development and Technology","doi-asserted-by":"publisher","award":["693JJ620C000025"],"award-info":[{"award-number":["693JJ620C000025"]}],"id":[{"id":"10.13039\/100006283","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2022,11]]},"DOI":"10.1109\/tcad.2022.3197690","type":"journal-article","created":{"date-parts":[[2022,8,9]],"date-time":"2022-08-09T20:37:03Z","timestamp":1660077423000},"page":"4409-4420","source":"Crossref","is-referenced-by-count":18,"title":["Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces"],"prefix":"10.1109","volume":"41","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2252-0539","authenticated-orcid":false,"given":"Aditi","family":"Kabra","sequence":"first","affiliation":[{"name":"Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3194-9759","authenticated-orcid":false,"given":"Stefan","family":"Mitsch","sequence":"additional","affiliation":[{"name":"Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7238-5710","authenticated-orcid":false,"given":"Andre","family":"Platzer","sequence":"additional","affiliation":[{"name":"Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Development of an adaptive predictive braking enforcement algorithm","author":"Brosseau","year":"2009"},{"key":"ref2","article-title":"Development of an operationally efficient PTC braking enforcement algorithm for freight trains","author":"Brosseau","year":"2013"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10373-5_13"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54108-7_14"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68499-4_12"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934555"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-016-9385-1"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-008-9103-8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21401-6_36"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0241-z"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-18744-6_15"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1080\/15397734.2021.1875233"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1080\/23248378.2019.1660239"},{"key":"ref14","first-page":"53","article-title":"Guided test case generation through AI enabled output space exploration","volume-title":"Proc. IEEE\/ACM 13th Int. Workshop Autom. Softw. Test (AST)","author":"Budnik"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.10.011"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-18744-6_1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2014.6957821"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1994.1279941"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/11955757_21"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2016.05.010"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_29"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10702-8_7"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68499-4_9"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-18744-6_7"},{"key":"ref25","first-page":"104","volume-title":"Survey of Railway Embedded Network Solutions\u2014Towards the Use of Industrial Ethernet Technologies","author":"Wahl","year":"2010"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14509-4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63588-0"},{"key":"ref28","volume-title":"Railroad Engineering","author":"Hay","year":"1982"},{"key":"ref29","article-title":"Evaluation of PTC braking enforcement algorithms for passenger and commuter trains","author":"Dasher","year":"2020"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.2307\/2271358"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80004-X"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80003-8"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3296979.3192406"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9928799\/09852744.pdf?arnumber=9852744","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T04:41:53Z","timestamp":1709354513000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9852744\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11]]},"references-count":33,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2022.3197690","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,11]]}}}