{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:12:40Z","timestamp":1755997960663,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031453311"},{"type":"electronic","value":"9783031453328"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-45332-8_3","type":"book-chapter","created":{"date-parts":[[2023,10,18]],"date-time":"2023-10-18T05:01:36Z","timestamp":1697605296000},"page":"51-71","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On the\u00a0Difficulty of\u00a0Intersection Checking with\u00a0Polynomial Zonotopes"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-1174-7170","authenticated-orcid":false,"given":"Yushen","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-5290-1057","authenticated-orcid":false,"given":"Ertai","family":"Luo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4947-9553","authenticated-orcid":false,"given":"Stanley","family":"Bak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2475-3843","authenticated-orcid":false,"given":"Yifan","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,10,19]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","unstructured":"Althoff, M.: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, pp. 173\u2013182 (2013). https:\/\/doi.org\/10.1145\/2461328.2461358","DOI":"10.1145\/2461328.2461358"},{"key":"3_CR2","doi-asserted-by":"publisher","unstructured":"Althoff, M.: An introduction to cora 2015. ARCH@ CPSWeek 34, 120\u2013151 (2015). https:\/\/doi.org\/10.29007\/zbkv","DOI":"10.29007\/zbkv"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1146\/annurev-control-071420-081941","volume":"4","author":"M Althoff","year":"2021","unstructured":"Althoff, M., Frehse, G., Girard, A.: Set propagation techniques for reachability analysis. Annu. Rev. Control Robot. Auton. Syst. 4, 369\u2013395 (2021). https:\/\/doi.org\/10.1146\/annurev-control-071420-081941","journal-title":"Annu. Rev. Control Robot. Auton. Syst."},{"key":"3_CR4","doi-asserted-by":"publisher","unstructured":"Bak, S., Bogomolov, S., Hencey, B., Kochdumper, N., Lew, E., Potomkin, K.: Reachability of Koopman linearized systems using random Fourier feature observables and polynomial zonotope refinement. In: Shoham, S., Vizel, Y. (eds.) Computer Aided Verification. CAV 2022. LNCS, vol. 13371, pp. 490\u2013510. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-13185-1_24","DOI":"10.1007\/978-3-031-13185-1_24"},{"key":"3_CR5","unstructured":"Bazaraa, M.S., Sherali, H.D., Shetty, C.M.: Nonlinear Programming: Theory and Algorithms. John Wiley & Sons, Hoboken (2013)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Boyd, S., Boyd, S.P., Vandenberghe, L.: Convex Optimization. Cambridge University Press, Cambridge (2004)","DOI":"10.1017\/CBO9780511804441"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-39799-8_18","volume-title":"Computer Aided Verification","author":"X Chen","year":"2013","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 258\u2013263. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_18"},{"key":"3_CR8","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 238\u2013252 (1977). https:\/\/doi.org\/10.1145\/512950.512973","DOI":"10.1145\/512950.512973"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-319-41528-4_26","volume-title":"Computer Aided Verification","author":"PS Duggirala","year":"2016","unstructured":"Duggirala, P.S., Viswanathan, M.: Parsimonious, simulation based verification of linear systems. In: Chaudhuri, S., Farzan, A. (eds.) CAV 2016. LNCS, vol. 9779, pp. 477\u2013494. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41528-4_26"},{"key":"3_CR10","unstructured":"Eppstein, D.: Zonohedra and zonotopes. Technical report 95\u201353, UC Irvine, Information and Computer Science (1995)"},{"key":"3_CR11","doi-asserted-by":"publisher","unstructured":"Garey, M.R., Johnson, D.S., Stockmeyer, L.: Some simplified np-complete problems. In: Proceedings of the Sixth Annual ACM Symposium on Theory of Computing, pp. 47\u201363 (1974). https:\/\/doi.org\/10.1145\/800119.803884","DOI":"10.1145\/800119.803884"},{"key":"3_CR12","doi-asserted-by":"publisher","unstructured":"Girard, A.: Reachability of uncertain linear systems using zonotopes. In: Morari, M., Thiele, L. (eds.) Hybrid Systems: Computation and Control. HSCC 2005. LNCS, vol. 3414, pp. 291\u2013305. Springer, Berlin, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31954-2_19","DOI":"10.1007\/978-3-540-31954-2_19"},{"issue":"5","key":"3_CR13","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/BF00927673","volume":"4","author":"MR Hestenes","year":"1969","unstructured":"Hestenes, M.R.: Multiplier and gradient methods. J. Optim. Theory Appl. 4(5), 303\u2013320 (1969). https:\/\/doi.org\/10.1007\/BF00927673","journal-title":"J. Optim. Theory Appl."},{"key":"3_CR14","doi-asserted-by":"publisher","unstructured":"Jaulin, L., et al.: Interval Analysis. Springer, London (2001). https:\/\/doi.org\/10.1007\/978-1-4471-0249-6_2","DOI":"10.1007\/978-1-4471-0249-6_2"},{"key":"3_CR15","unstructured":"Kochdumper, N.: Extensions of Polynomial Zonotopes and their Application to Verification of Cyber-Physical Systems. Ph.D. thesis, Technische Universit\u00e4t M\u00fcnchen (2022)"},{"key":"3_CR16","doi-asserted-by":"publisher","unstructured":"Kochdumper, N., Althoff, M.: Constrained polynomial zonotopes. arXiv preprint arXiv:2005.08849 (2020). https:\/\/doi.org\/10.48550\/arXiv.2005.08849","DOI":"10.48550\/arXiv.2005.08849"},{"issue":"9","key":"3_CR17","doi-asserted-by":"publisher","first-page":"4043","DOI":"10.1109\/TAC.2020.3024348","volume":"66","author":"N Kochdumper","year":"2020","unstructured":"Kochdumper, N., Althoff, M.: Sparse polynomial zonotopes: a novel set representation for reachability analysis. IEEE Trans. Autom. Control 66(9), 4043\u20134058 (2020). https:\/\/doi.org\/10.1109\/TAC.2020.3024348","journal-title":"IEEE Trans. Autom. Control"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1109\/OJCSYS.2023.3256305","volume":"2","author":"N Kochdumper","year":"2023","unstructured":"Kochdumper, N., Krasowski, H., Wang, X., Bak, S., Althoff, M.: Provably safe reinforcement learning via action projection using reachability analysis and polynomial zonotopes. IEEE Open J. Control Syst. 2, 79\u201392 (2023). https:\/\/doi.org\/10.1109\/OJCSYS.2023.3256305","journal-title":"IEEE Open J. Control Syst."},{"key":"3_CR19","doi-asserted-by":"publisher","unstructured":"Kochdumper, N., Schilling, C., Althoff, M., Bak, S.: Open-and closed-loop neural network verification using polynomial zonotopes. In: NASA Formal Methods Symposium (2023). https:\/\/doi.org\/10.1007\/978-3-031-33170-1_2","DOI":"10.1007\/978-3-031-33170-1_2"},{"issue":"3","key":"3_CR20","doi-asserted-by":"publisher","first-page":"796","DOI":"10.1137\/S1052623400366802","volume":"11","author":"JB Lasserre","year":"2001","unstructured":"Lasserre, J.B.: Global optimization with polynomials and the problem of moments. SIAM J. Optim. 11(3), 796\u2013817 (2001). https:\/\/doi.org\/10.1137\/S1052623400366802","journal-title":"SIAM J. Optim."},{"issue":"4","key":"3_CR21","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1137\/04061413X","volume":"49","author":"JB Lasserre","year":"2007","unstructured":"Lasserre, J.B.: A sum of squares approximation of nonnegative polynomials. SIAM Rev. 49(4), 651\u2013669 (2007). https:\/\/doi.org\/10.1137\/04061413X","journal-title":"SIAM Rev."},{"key":"3_CR22","unstructured":"Li, Z., Chen, P.Y., Liu, S., Lu, S., Xu, Y.: Rate-improved inexact augmented lagrangian method for constrained nonconvex optimization. In: International Conference on Artificial Intelligence and Statistics, pp. 2170\u20132178. PMLR (2021)"},{"issue":"4","key":"3_CR23","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1287\/ijoo.2021.0052","volume":"3","author":"Z Li","year":"2021","unstructured":"Li, Z., Xu, Y.: Augmented lagrangian-based first-order methods for convex-constrained programs with weakly convex objective. INFORMS J. Optim. 3(4), 373\u2013397 (2021). https:\/\/doi.org\/10.1287\/ijoo.2021.0052","journal-title":"INFORMS J. Optim."},{"key":"3_CR24","doi-asserted-by":"publisher","unstructured":"Luo, E., Kochdumper, N., Bak, S.: Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes. In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control. HSCC \u201923, Association for Computing Machinery, New York, NY, USA (2023). https:\/\/doi.org\/10.1145\/3575870.3587130","DOI":"10.1145\/3575870.3587130"},{"key":"3_CR25","first-page":"239","volume":"6","author":"K Makino","year":"2003","unstructured":"Makino, K., Berz, M.: Taylor models and other validated functional inclusion methods. Int. J. Pure Appl. Math. 6, 239\u2013316 (2003)","journal-title":"Int. J. Pure Appl. Math."},{"key":"3_CR26","doi-asserted-by":"publisher","unstructured":"Michaux, J., et al.: Can\u2019t touch this: real-time, safe motion planning and control for manipulators under uncertainty. arXiv preprint arXiv:2301.13308 (2023). https:\/\/doi.org\/10.48550\/arXiv.2301.13308","DOI":"10.48550\/arXiv.2301.13308"},{"key":"3_CR27","unstructured":"Parrilo, P.A.: Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization. California Institute of Technology (2000)"},{"key":"3_CR28","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/s10107-003-0387-5","volume":"96","author":"PA Parrilo","year":"2003","unstructured":"Parrilo, P.A.: Semidefinite programming relaxations for semialgebraic problems. Math. Program. 96, 293\u2013320 (2003). https:\/\/doi.org\/10.1007\/s10107-003-0387-5","journal-title":"Math. Program."},{"key":"3_CR29","unstructured":"Powell, M.J.: A method for nonlinear constraints in minimization problems. Optimization, pp. 283\u2013298 (1969)"},{"key":"3_CR30","doi-asserted-by":"publisher","unstructured":"Rockafellar, R.T.: Convex Analysis, vol. 11. Princeton University Press, Princeton (1997). https:\/\/doi.org\/10.1515\/9781400873173","DOI":"10.1515\/9781400873173"},{"key":"3_CR31","doi-asserted-by":"publisher","unstructured":"Sadraddini, S., Tedrake, R.: Linear encodings for polytope containment problems. In: 2019 IEEE 58th Conference on Decision and Control (CDC), pp. 4367\u20134372. IEEE (2019). https:\/\/doi.org\/10.1109\/CDC40024.2019.9029363","DOI":"10.1109\/CDC40024.2019.9029363"},{"key":"3_CR32","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1016\/j.automatica.2016.02.036","volume":"69","author":"JK Scott","year":"2016","unstructured":"Scott, J.K., Raimondo, D.M., Marseglia, G.R., Braatz, R.D.: Constrained zonotopes: a new tool for set-based estimation and fault detection. Automatica 69, 126\u2013136 (2016). https:\/\/doi.org\/10.1016\/j.automatica.2016.02.036","journal-title":"Automatica"},{"issue":"6","key":"3_CR33","doi-asserted-by":"publisher","first-page":"731","DOI":"10.1007\/BF01070233","volume":"23","author":"NZ Shor","year":"1987","unstructured":"Shor, N.Z.: Class of global minimum bounds of polynomial functions. Cybernetics 23(6), 731\u2013734 (1987). https:\/\/doi.org\/10.1007\/BF01070233","journal-title":"Cybernetics"},{"key":"3_CR34","doi-asserted-by":"publisher","unstructured":"Yannakakis, M.: Node-and edge-deletion NP-complete problems. In: Proceedings of the Tenth Annual ACM Symposium on Theory of Computing, pp. 253\u2013264 (1978). https:\/\/doi.org\/10.1145\/800133.804355","DOI":"10.1145\/800133.804355"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-45332-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,18]],"date-time":"2023-10-18T05:02:39Z","timestamp":1697605359000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-45332-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031453311","9783031453328"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-45332-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"19 October 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ATVA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Automated Technology for Verification and Analysis","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"atva2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/atva-conference.org\/2023\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"115","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.05","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7 tool papers","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}