{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T12:10:09Z","timestamp":1751803809625,"version":"3.41.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.23919\/acc.2018.8431662","type":"proceedings-article","created":{"date-parts":[[2018,8,17]],"date-time":"2018-08-17T20:16:10Z","timestamp":1534536970000},"page":"6259-6265","source":"Crossref","is-referenced-by-count":5,"title":["Active Sampling for Closed-Loop Statistical Verification of Uncertain Nonlinear Systems"],"prefix":"10.23919","author":[{"given":"John F.","family":"Quindlen","sequence":"first","affiliation":[]},{"given":"Ufuk","family":"Topcu","sequence":"additional","affiliation":[]},{"given":"Girish","family":"Chowdhary","sequence":"additional","affiliation":[]},{"given":"Jonathan P.","family":"How","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"152","author":"maler","year":"2004","journal-title":"Monitoring temporal properties of continuous signals"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.2514\/6.2018-1107"},{"key":"ref12","first-page":"61","article-title":"Probabilistic outputs for support vector machines and comparisons to regularized likelihood methods","author":"platt","year":"1999","journal-title":"Advances in Large Margin Classifiers"},{"year":"2006","author":"rasmussen","journal-title":"Gaussian Processes for Machine Learning","key":"ref13"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/CDC.2016.7798967"},{"key":"ref15","first-page":"1344","article-title":"Active learning for level set estimation","author":"gotovos","year":"2013","journal-title":"International Joint Conference on Artificial Intelligence"},{"key":"ref16","first-page":"4053","article-title":"Parallelizing exploration-exploitation tradeoffs in gaussian process bandit optimization","volume":"15","author":"desautels","year":"2014","journal-title":"Journal of Machine Learning Research"},{"key":"ref17","article-title":"k-DPPs: Fixed-size determinantal point processes","author":"kulesza","year":"2011","journal-title":"International Conference on Machine Learning"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/CDC.2010.5717148"},{"key":"ref19","article-title":"An example set of cyber-physical V &V challenges for S5","author":"elliott","year":"2016","journal-title":"Air Force Research Laboratory Safe and Secure Systems and Software Symposium (S5) Conference"},{"year":"2008","author":"topcu","journal-title":"Quantitative Local Analysis of Nonlinear Systems","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1145\/2562059.2562139"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/978-3-319-11936-6_29"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-24372-1_1","article-title":"Statistical model checking for cyber-physical systems","author":"clarke","year":"2011","journal-title":"International Symposium for Automated Technology for Verification and Analysis"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01560-1","author":"settles","year":"2012","journal-title":"Active Learning"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1145\/2883817.2883846","article-title":"Case studies in data-driven verification of dynamical systems","author":"kozarev","year":"2016","journal-title":"Hybrid Systems Computation and Control"},{"year":"2005","author":"prajna","journal-title":"Optimization-based methods for nonlinear and hybrid systems verification","key":"ref2"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/CDC.2012.6425852"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1002\/widm.1132"},{"key":"ref20","article-title":"Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties","author":"quindlen","year":"2018","journal-title":"American Control Conference"}],"event":{"name":"2018 Annual American Control Conference (ACC)","start":{"date-parts":[[2018,6,27]]},"location":"Milwaukee, WI","end":{"date-parts":[[2018,6,29]]}},"container-title":["2018 Annual American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8410068\/8430677\/08431662.pdf?arnumber=8431662","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T11:48:00Z","timestamp":1751802480000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8431662\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.23919\/acc.2018.8431662","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}