{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T18:08:22Z","timestamp":1777486102773,"version":"3.51.4"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319249520","type":"print"},{"value":"9783319249537","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24953-7_35","type":"book-chapter","created":{"date-parts":[[2015,10,7]],"date-time":"2015-10-07T15:00:11Z","timestamp":1444230011000},"page":"500-517","source":"Crossref","is-referenced-by-count":44,"title":["Stochastic Local Search for Falsification of Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Jyotirmoy","family":"Deshmukh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoqing","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Kapinski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oded","family":"Maler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,22]]},"reference":[{"key":"35_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/978-3-642-24372-1_39","volume-title":"Automated Technology for Verification and Analysis","author":"H Abbas","year":"2011","unstructured":"Abbas, H., Fainekos, G.: Linear hybrid system falsification through local search. In: Bultan, T., Hsiung, P.-A. (eds.) ATVA 2011. LNCS, vol. 6996, pp. 503\u2013510. Springer, Heidelberg (2011)"},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"Annapureddy, Y.S.R., Fainekos, G.E.: Ant Colonies for Temporal Logic Falsification of Hybrid Systems. In: Proceedings of the IECON, pp. 91\u201396 (2010)","DOI":"10.1109\/IECON.2010.5675195"},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"Annapureddy, Y.S.R., Liu, C., Fainekos, G.E., Sankaranarayanan, S.: S-TaLiRo: a tool for temporal logic falsification for hybrid systems. In: Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, pp. 254\u2013257 (2011)","DOI":"10.1007\/978-3-642-19835-9_21"},{"issue":"3","key":"35_CR4","first-page":"389","volume":"57","author":"E Asarin","year":"1998","unstructured":"Asarin, E., Maler, O.: Achilles and the tortoise climbing up the arithmetical hierarchy. JCSS 57(3), 389\u2013398 (1998)","journal-title":"JCSS"},{"key":"35_CR5","unstructured":"Hoxha, H.A.B., Fainekos, G.: Using S-TaLiRo on industrial size automotive models. In: Worskhop on Applied Verification for Continuous and Hybrid Systems (2014)"},{"issue":"8","key":"35_CR6","doi-asserted-by":"publisher","first-page":"928","DOI":"10.1057\/palgrave.jors.2601163","volume":"52","author":"J-F Cordeau","year":"2001","unstructured":"Cordeau, J.-F., Laporte, G., Mercier, A., et al.: A unified tabu search heuristic for vehicle routing problems with time windows. J. Oper. Res. Soc. 52(8), 928\u2013936 (2001)","journal-title":"J. Oper. Res. Soc."},{"key":"35_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-14295-6_17","volume-title":"Computer Aided Verification","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A.: Breach, a toolbox for verification and parameter synthesis of hybrid systems. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 167\u2013170. Springer, Heidelberg (2010)"},{"key":"35_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 92\u2013106. Springer, Heidelberg (2010)"},{"key":"35_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/978-3-319-17524-9_10","volume-title":"NASA Formal Methods","author":"T Dreossi","year":"2015","unstructured":"Dreossi, T., Dang, T., Donz\u00e9, A., Kapinski, J., Jin, X., Deshmukh, J.V.: Efficient guiding strategies for testing of temporal properties of hybrid systems. In: Havelund, K., Holzmann, G., Joshi, R. (eds.) NFM 2015. LNCS, vol. 9058, pp. 127\u2013142. Springer, Heidelberg (2015)"},{"issue":"42","key":"35_CR10","doi-asserted-by":"publisher","first-page":"4262","DOI":"10.1016\/j.tcs.2009.06.021","volume":"410","author":"GE Fainekos","year":"2009","unstructured":"Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. 410(42), 4262\u20134291 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"Henzinger, T., Kopke, P., Puri, A., Varaiya, P.: What\u2019s Decidable about Hybrid Automata?. In: Proceedings of the Symposium on Theory of Computing, pp. 373\u2013382 (1995)","DOI":"10.1145\/225058.225162"},{"key":"35_CR12","doi-asserted-by":"crossref","unstructured":"Jin, X., Deshmukh, J.V., Kapinski, J., Ueda, K., Butts, K.: Powertrain Control Verification Benchmark. In: Proceeding of Hybrid Systems: Computation and Control, pp. 253\u2013262 (2014)","DOI":"10.1145\/2562059.2562140"},{"issue":"4598","key":"35_CR13","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S Kirkpatrick","year":"1983","unstructured":"Kirkpatrick, S., Vecchi, M., et al.: Optimization by simmulated annealing. Science 220(4598), 671\u2013680 (1983)","journal-title":"Science"},{"key":"35_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/978-3-319-10512-3_11","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"J Ku\u0159\u00e1tko","year":"2014","unstructured":"Ku\u0159\u00e1tko, J., Ratschan, S.: Combined global and local search for the falsification of hybrid systems. In: Legay, A., Bozga, M. (eds.) FORMATS 2014. LNCS, vol. 8711, pp. 146\u2013160. Springer, Heidelberg (2014)"},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"Nghiem, T., Sankaranarayanan, S., Fainekos, G.E., Ivancic, F., Gupta, A., Pappas, G.J.: Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. In: Proceeding of Hybrid Systems: Computation and Control, pp. 211\u2013220 (2010)","DOI":"10.1145\/1755952.1755983"},{"issue":"2","key":"35_CR16","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s10703-008-0058-5","volume":"34","author":"E Plaku","year":"2009","unstructured":"Plaku, E., Kavraki, L.E., Vardi, M.Y.: Hybrid systems: from verification to falsification by combining motion planning and discrete search. Formal Methods Sys. Design 34(2), 157\u2013182 (2009)","journal-title":"Formal Methods Sys. Design"},{"issue":"4","key":"35_CR17","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s10009-012-0233-2","volume":"15","author":"E Plaku","year":"2013","unstructured":"Plaku, E., Kavraki, L.E., Vardi, M.Y.: Falsification of ltl safety properties in hybrid systems. Softw. Tools Technol. Transfer 15(4), 305\u2013320 (2013)","journal-title":"Softw. Tools Technol. Transfer"},{"key":"35_CR18","doi-asserted-by":"crossref","unstructured":"Sankaranarayanan, S., Fainekos, G.E.: Falsification of temporal properties of hybrid systems using the cross-entropy method. Computation and Control. In: Proceeding of Hybrid Systems (2012)","DOI":"10.1145\/2185632.2185653"},{"key":"35_CR19","doi-asserted-by":"publisher","DOI":"10.1002\/0471722138","volume-title":"Introduction to Stochastic Search and Optimization","author":"JC Spall","year":"2003","unstructured":"Spall, J.C.: Introduction to Stochastic Search and Optimization, 1st edn. Wiley, New York (2003)","edition":"1"},{"key":"35_CR20","doi-asserted-by":"crossref","unstructured":"Zutshi, A., Sankaranarayanan, S., Deshmukh, J.V., Kapinski, J.: Multiple shooting, cegar-based falsification for hybrid systems. In: Proceedings of the 14th International Conference on Embedded Software, p. 5 (2014)","DOI":"10.1145\/2656045.2656061"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24953-7_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T04:08:55Z","timestamp":1559275735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24953-7_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319249520","9783319249537"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24953-7_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}