{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:50:13Z","timestamp":1725515413988},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540789284"},{"type":"electronic","value":"9783540789291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78929-1_45","type":"book-chapter","created":{"date-parts":[[2008,7,17]],"date-time":"2008-07-17T09:01:58Z","timestamp":1216285318000},"page":"606-609","source":"Crossref","is-referenced-by-count":6,"title":["Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems"],"prefix":"10.1007","author":[{"given":"Amit","family":"Bhatia","sequence":"first","affiliation":[]},{"given":"Emilio","family":"Frazzoli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"45_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-57318-6_29","volume-title":"Hybrid Systems","author":"Y. Kesten","year":"1993","unstructured":"Kesten, Y., Pnueli, A., Sifakis, J., Yovine, S.: Integration graphs: A class of decidable hybrid systems. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) HS 1991 and HS 1992. LNCS, vol.\u00a0736, pp. 179\u2013208. Springer, Heidelberg (1993)"},{"key":"45_CR2","doi-asserted-by":"crossref","unstructured":"Bhatia, A., Frazzoli, E.: Sampling-based resolution-complete algorithms for safety falsification of linear systems (January 2008), http:\/\/arxiv.org\/abs\/0801.0570","DOI":"10.1109\/CDC.2007.4434542"},{"key":"45_CR3","doi-asserted-by":"crossref","unstructured":"Silva, B.I., Stursberg, O., Krogh, B.H., Engell, S.: An assessment of the current status of algorithmic approaches to the verification of hybrid systems. In: Conference on Decision and Control (2001)","DOI":"10.1109\/CDC.2001.980711"},{"key":"45_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/978-3-540-24743-2_10","volume-title":"Hybrid Systems: Computation and Control","author":"A. Bhatia","year":"2004","unstructured":"Bhatia, A., Frazzoli, E.: Incremental search methods for reachability analysis of continuous and hybrid systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 142\u2013156. Springer, Heidelberg (2004)"},{"key":"45_CR5","doi-asserted-by":"crossref","unstructured":"Kim, J., Esposito, J.M., Kumar, V.: An rrt-based algorithm for testing and validating multi-robot controllers. In: Robotics: Science and Systems, pp. 249\u2013256 (2005)","DOI":"10.15607\/RSS.2005.I.033"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"Bhatia, A., Frazzoli, E.: Resolution complete safety falsification of continuous time systems. In: Conference on Decision and Control (2006)","DOI":"10.1109\/CDC.2006.377262"},{"key":"45_CR7","doi-asserted-by":"crossref","unstructured":"Bhatia, A., Frazzoli, E.: Sampling-based resolution-complete safety falsification of linear hybrid systems. In: Conference on Decision and Control (2007)","DOI":"10.1109\/CDC.2007.4434542"},{"key":"45_CR8","unstructured":"Cheng, P., Kumar, V.: Sampling-based falsification and verification of controllers for continuous dynamic systems. In: WAFR (2006)"},{"key":"45_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-540-71493-4_20","volume-title":"Hybrid Systems: Computation and Control","author":"A. Girard","year":"2007","unstructured":"Girard, A.: Approximately bisimilar finite abstractions of stable linear systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 231\u2013244. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78929-1_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,19]],"date-time":"2023-05-19T06:12:00Z","timestamp":1684476720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78929-1_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540789284","9783540789291"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78929-1_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}