{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T15:02:18Z","timestamp":1764687738252,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,4,13]],"date-time":"2017-04-13T00:00:00Z","timestamp":1492041600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF CCF","award":["1422798"],"award-info":[{"award-number":["1422798"]}]},{"name":"NSF CPS","award":["1329991"],"award-info":[{"award-number":["1329991"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,4,13]]},"DOI":"10.1145\/3049797.3049804","type":"proceedings-article","created":{"date-parts":[[2017,4,14]],"date-time":"2017-04-14T12:18:54Z","timestamp":1492172334000},"page":"65-70","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Statistical Verification of the Toyota Powertrain Control Verification Benchmark"],"prefix":"10.1145","author":[{"given":"Nima","family":"Roohi","sequence":"first","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, IL, USA"}]},{"given":"Yu","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, IL, USA"}]},{"given":"Matthew","family":"West","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, IL, USA"}]},{"given":"Geir E.","family":"Dullerud","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, IL, USA"}]},{"given":"Mahesh","family":"Viswanathan","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, IL, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,4,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"e_1_3_2_1_2_1","unstructured":"J. V. Deshmukh. Simulink\/Stateflow models of the Powertrain Controller Verification Benchmark. Personal Communication.  J. V. Deshmukh. Simulink\/Stateflow models of the Powertrain Controller Verification Benchmark. Personal Communication."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_37"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75454-1_12"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562140"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6759950"},{"key":"e_1_3_2_1_8_1","first-page":"266","volume-title":"Computer Aided Verification, number 3576 in Lecture Notes in Computer Science","author":"Sen K.","year":"2005","unstructured":"K. Sen , M. Viswanathan , and G. Agha . On statistical model checking of stochastic systems . In K. Etessami and S. K. Rajamani, editors, Computer Aided Verification, number 3576 in Lecture Notes in Computer Science , pages 266 -- 280 . Springer Berlin Heidelberg , 2005 . K. Sen, M. Viswanathan, and G. Agha. On statistical model checking of stochastic systems. In K. Etessami and S. K. Rajamani, editors, Computer Aided Verification, number 3576 in Lecture Notes in Computer Science, pages 266--280. Springer Berlin Heidelberg, 2005."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_26"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05052-1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177731118"},{"key":"e_1_3_2_1_12_1","first-page":"142","volume-title":"7th International Conference, VMCAI","author":"Younes H. L. S.","year":"2006","unstructured":"H. L. S. Younes . Error control for probabilistic model checking. In Verification, Model Checking, and Abstract Interpretation , 7th International Conference, VMCAI , pages 142 -- 156 , 2006 . H. L. S. Younes. Error control for probabilistic model checking. In Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI, pages 142--156, 2006."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_17"}],"event":{"name":"HSCC '17: 20th International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Pittsburgh Pennsylvania USA","acronym":"HSCC '17"},"container-title":["Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3049797.3049804","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3049797.3049804","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:36:26Z","timestamp":1750217786000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3049797.3049804"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,13]]},"references-count":13,"alternative-id":["10.1145\/3049797.3049804","10.1145\/3049797"],"URL":"https:\/\/doi.org\/10.1145\/3049797.3049804","relation":{},"subject":[],"published":{"date-parts":[[2017,4,13]]},"assertion":[{"value":"2017-04-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}