{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T01:12:00Z","timestamp":1768353120050,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,4,11]],"date-time":"2017-04-11T00:00:00Z","timestamp":1491868800000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1550212"],"award-info":[{"award-number":["1550212"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000183","name":"Army Research Office","doi-asserted-by":"publisher","award":["W911NF-15-1-0592"],"award-info":[{"award-number":["W911NF-15-1-0592"]}],"id":[{"id":"10.13039\/100000183","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["W911NF-16-1-0001"],"award-info":[{"award-number":["W911NF-16-1-0001"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["FA8650-15-C-2546"],"award-info":[{"award-number":["FA8650-15-C-2546"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N000141310778"],"award-info":[{"award-number":["N000141310778"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,4,11]]},"DOI":"10.1145\/2883817.2883846","type":"proceedings-article","created":{"date-parts":[[2016,4,12]],"date-time":"2016-04-12T08:23:12Z","timestamp":1460449392000},"page":"81-86","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Case Studies in Data-Driven Verification of Dynamical Systems"],"prefix":"10.1145","author":[{"given":"Alexandar","family":"Kozarev","sequence":"first","affiliation":[{"name":"Metron, Inc., San Diego, CA, USA"}]},{"given":"John","family":"Quindlen","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA, USA"}]},{"given":"Jonathan","family":"How","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA, USA"}]},{"given":"Ufuk","family":"Topcu","sequence":"additional","affiliation":[{"name":"University of Texas, Austin, TX, USA"}]}],"member":"320","published-online":{"date-parts":[[2016,4,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"May","author":"Department of Defense.","year":"2012","unstructured":"Department of Defense. Department of Defense Standard Practice System Safety, May 2012."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1512801"},{"key":"e_1_3_2_1_3_1","volume-title":"Nonlinear Systems","author":"Khalil Hassan K.","year":"2002","unstructured":"Hassan K. Khalil. Nonlinear Systems. Prentice Hall, 3rd edition edition, 2002.","edition":"3"},{"key":"e_1_3_2_1_4_1","series-title":"Studies in Applied Mathematics","volume-title":"E. Feron, and V. Balakrishnan. Linear Matrix Inequalities in System and Control Theory","author":"Boyd Stephen","year":"1994","unstructured":"Stephen Boyd, Laurent El Ghaoui, E. Feron, and V. Balakrishnan. Linear Matrix Inequalities in System and Control Theory, volume 15 of Studies in Applied Mathematics. Society for Industrial and Applied Mathematics, 1994."},{"key":"e_1_3_2_1_5_1","unstructured":"Pablo A. Parrilo. Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization. PhD thesis California Institute of Technology 2000."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.010"},{"key":"e_1_3_2_1_7_1","volume-title":"Statistical learning theory","author":"Vapnik Vladimir Naumovich","year":"1998","unstructured":"Vladimir Naumovich Vapnik and Vlamimir Vapnik. Statistical learning theory. Wiley New York, 1998."},{"key":"e_1_3_2_1_8_1","volume-title":"Microsoft Research","author":"Scholkopf B","year":"2000","unstructured":"B Scholkopf. Statistical learning and kernel methods. Technical report, Microsoft Research, 2000."},{"key":"e_1_3_2_1_9_1","first-page":"291","volume-title":"International Conference on Data Mining (DMIN)","author":"Anguita Davide","year":"2009","unstructured":"Davide Anguita, Alessandro Ghio, Sandro Ridella, and Dario Sterpi. K-fold cross validation for error rate estimate in support vector machines. In International Conference on Data Mining (DMIN), pages 291--297, 2009."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1643031.1643047"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218001407005703"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562139"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2033751"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2014.2319052"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/551283"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1373322"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_16"},{"key":"e_1_3_2_1_18_1","volume-title":"Smoothed model checking for uncertain continuous time markov chains. Technical report","author":"Bortolussi Luca","year":"2014","unstructured":"Luca Bortolussi, Dimitrios Milios, and Guido Sanguinetti. Smoothed model checking for uncertain continuous time markov chains. Technical report, University of Trieste\/University of Edinburgh, 2014."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885174.1885183"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185676"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40196-1_13"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185653"}],"event":{"name":"HSCC'16: 19th International Conference on Hybrid Systems: Computation and Control","location":"Vienna Austria","acronym":"HSCC'16","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2883817.2883846","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2883817.2883846","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2883817.2883846","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:21:19Z","timestamp":1763457679000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2883817.2883846"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,11]]},"references-count":22,"alternative-id":["10.1145\/2883817.2883846","10.1145\/2883817"],"URL":"https:\/\/doi.org\/10.1145\/2883817.2883846","relation":{},"subject":[],"published":{"date-parts":[[2016,4,11]]},"assertion":[{"value":"2016-04-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}