{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,16]],"date-time":"2025-12-16T12:25:27Z","timestamp":1765887927082,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319681665"},{"type":"electronic","value":"9783319681672"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-68167-2_30","type":"book-chapter","created":{"date-parts":[[2017,9,25]],"date-time":"2017-09-25T23:50:53Z","timestamp":1506383453000},"page":"463-479","source":"Crossref","is-referenced-by-count":5,"title":["The Reach-Avoid Problem for Constant-Rate Multi-mode Systems"],"prefix":"10.1007","author":[{"given":"Shankara Narayanan","family":"Krishna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aviral","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Somenzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Behrouz","family":"Touri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ashutosh","family":"Trivedi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,27]]},"reference":[{"key":"30_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) HS 1991-1992. LNCS, vol. 736, pp. 209\u2013229. Springer, Heidelberg (1993). doi: 10.1007\/3-540-57318-6_30"},{"key":"30_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theoret. Comput. Sci. 126, 183\u2013235 (1994)","journal-title":"Theoret. Comput. Sci."},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Forejt, V., Moarref, S., Trivedi, A.: Safe schedulability of bounded-rate multi-mode systems. In: HSCC, pp. 243\u2013252 (2013)","DOI":"10.1145\/2461328.2461366"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Alur, R., Trivedi, A., Wojtczak, D.: Optimal scheduling for constant-rate multi-mode systems. In: HSCC, pp. 75\u201384 (2012)","DOI":"10.1145\/2185632.2185647"},{"key":"30_CR5","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0304-3975(94)00228-B","volume":"138","author":"E Asarin","year":"1995","unstructured":"Asarin, E., Oded, M., Pnueli, A.: Reachability analysis of dynamical systems having piecewise-constant derivatives. TCS 138, 35\u201366 (1995)","journal-title":"TCS"},{"issue":"1","key":"30_CR6","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/9.654885","volume":"43","author":"MS Branicky","year":"1998","unstructured":"Branicky, M.S., Borkar, V.S., Mitter, S.K.: A unified framework for hybrid control: model and optimal control theory. Autom. Control 43(1), 31\u201345 (1998)","journal-title":"Autom. Control"},{"issue":"1","key":"30_CR7","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1011276507260","volume":"19","author":"E Clarke","year":"2001","unstructured":"Clarke, E., Biere, A., Raimi, R., Zhu, Y.: Bounded model checking using satisfiability solving. Formal Methods Syst. Des. 19(1), 7\u201334 (2001)","journal-title":"Formal Methods Syst. Des."},{"key":"30_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78800-3_24"},{"key":"30_CR9","unstructured":"Firby, R.J.: Adaptive execution in complex dynamic worlds. Ph.D. thesis, Yale University, New Haven, CT, USA (1989). AAI9010653"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Frazzoli, E., Dahleh, M.A., Feron, E.: Robust hybrid control for autonomous vehicle motion planning. In: Proceedings of the 39th IEEE Conference on Decision and Control, vol. 1, pp. 821\u2013826. IEEE (2000)","DOI":"10.1109\/CDC.2000.912871"},{"key":"30_CR11","unstructured":"Gat, E.: Three-layer architectures. In: Kortenkamp, D., Bonasso, R.P., Murphy, R. (eds.) Artificial Intelligence and Mobile Robots, pp. 195\u2013210. MIT Press, Cambridge (1998)"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: LICS 1996, Washington, DC, USA, p. 278. IEEE Computer Society (1996)","DOI":"10.1109\/LICS.1996.561342"},{"issue":"1\u20132","key":"30_CR13","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1016\/S0304-3975(99)00038-9","volume":"221","author":"TA Henzinger","year":"1999","unstructured":"Henzinger, T.A., Kopke, P.W.: Discrete-time control for rectangular hybrid automata. TCS 221(1\u20132), 369\u2013392 (1999)","journal-title":"TCS"},{"key":"30_CR14","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1006\/jcss.1998.1581","volume":"57","author":"TA Henzinger","year":"1998","unstructured":"Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What\u2019s decidable about hybrid automata? J. Comput. Syst. Sci. 57, 94\u2013124 (1998)","journal-title":"J. Comput. Syst. Sci."},{"issue":"6","key":"30_CR15","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1109\/MM.2015.133","volume":"35","author":"S Kato","year":"2015","unstructured":"Kato, S., Takeuchi, E., Ishiguro, Y., Ninomiya, Y., Takeda, K., Hamada, T.: An open approach to autonomous vehicles. IEEE Micro 35(6), 60\u201368 (2015)","journal-title":"IEEE Micro"},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"Krishna, S.N., Kumar, A., Somenzi, F., Touri, B., Trivedi, A.: The reach-avoid problem for constant-rate multi-mode systems. CoRR, abs\/1707.04151 (2017)","DOI":"10.1007\/978-3-319-68167-2_30"},{"key":"30_CR17","volume-title":"Robot Motion Planning","author":"J Latombe","year":"2012","unstructured":"Latombe, J.: Robot Motion Planning, vol. 124. Springer, Heidelberg (2012)"},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"LaValle, S.M.: Planning Algorithms. Cambridge University Press, Cambridge (2006). http:\/\/planning.cs.uiuc.edu\/","DOI":"10.1017\/CBO9780511546877"},{"key":"30_CR19","volume-title":"Computation: Finite and Infinite Machines","author":"ML Minsky","year":"1967","unstructured":"Minsky, M.L.: Computation: Finite and Infinite Machines. Prentice-Hall, Inc., Upper Saddle River (1967)"},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"O\u2019Kelly, M., Abbas, H., Gao, S., Shiraishi, S., Kato, S., Mangharam, R.: Apex: a tool for autonomous vehicle plan verification and execution. In: Society of Automotive Engineers (SAE) World Congress and Exhibition (2016)","DOI":"10.4271\/2016-01-0019"},{"key":"30_CR21","doi-asserted-by":"crossref","unstructured":"Saha, I., Ramaithitima, R., Kumar, V., Pappas, G.J., Seshia, S.A.: Implan: scalable incremental motion planning for multi-robot systems. In: ICCPS 2016, pp. 43:1\u201343:10 (2016)","DOI":"10.1109\/ICCPS.2016.7479105"},{"issue":"3","key":"30_CR22","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1016\/0196-8858(83)90014-3","volume":"4","author":"JT Schwartz","year":"1983","unstructured":"Schwartz, J.T., Sharir, M.: On the \u201cpiano movers\u201d problem. II. general techniques for computing topological properties of real algebraic manifolds. Adv. Appl. Math. 4(3), 298\u2013351 (1983)","journal-title":"Adv. Appl. Math."},{"issue":"4","key":"30_CR23","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/MRA.2012.2205651","volume":"19","author":"IA \u015eucan","year":"2012","unstructured":"\u015eucan, I.A., Moll, M., Kavraki, L.E.: The open motion planning library. IEEE Robot. Autom. Mag. 19(4), 72\u201382 (2012). http:\/\/ompl.kavrakilab.org","journal-title":"IEEE Robot. Autom. Mag."}],"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-68167-2_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T19:38:32Z","timestamp":1570131512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68167-2_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319681665","9783319681672"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68167-2_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}