{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T20:16:45Z","timestamp":1784233005708,"version":"3.55.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030317836","type":"print"},{"value":"9783030317843","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-31784-3_6","type":"book-chapter","created":{"date-parts":[[2019,10,20]],"date-time":"2019-10-20T21:32:04Z","timestamp":1571607124000},"page":"98-114","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification"],"prefix":"10.1007","author":[{"given":"Hussein","family":"Sibai","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Navid","family":"Mokhlesi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sayan","family":"Mitra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,10,21]]},"reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-642-19835-9_21","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Y Annpureddy","year":"2011","unstructured":"Annpureddy, Y., Liu, C., Fainekos, G., Sankaranarayanan, S.: S-TaLiRo: a tool for temporal logic falsification for hybrid systems. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 254\u2013257. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-19835-9_21"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-319-22416-9_4","volume-title":"Towards Autonomous Robotic Systems","author":"L Antu\u00f1a","year":"2015","unstructured":"Antu\u00f1a, L., Araiza-Illan, D., Campos, S., Eder, K.: Symmetry reduction enables model checking of more complex emergent behaviours of swarm navigation algorithms. In: Dixon, C., Tuyls, K. (eds.) TAROS 2015. LNCS (LNAI), vol. 9287, pp. 26\u201337. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-22416-9_4"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/BFb0015260","volume-title":"Computer Science Today","author":"E. M. Clarke","year":"1995","unstructured":"Clarke, E.M., Jha, S.: Symmetry and induction in model checking. In: Computer Science Today: Recent Trends and Developments, pp. 455\u2013470 (1995)"},{"key":"6_CR4","volume-title":"Theory of Ordinary Differential Equations","author":"EA Coddington","year":"1955","unstructured":"Coddington, E.A., Levinson, N.: Theory of Ordinary Differential Equations. McGraw-Hill, New York (1955)"},{"key":"6_CR5","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). \nhttps:\/\/doi.org\/10.1007\/978-3-642-14295-6_17"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Duggirala, P.S., Mitra, S., Viswanathan, M.: Verification of annotated models from executions. In: EMSOFT (2013)","DOI":"10.1109\/EMSOFT.2013.6658604"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/3-540-56922-7_38","volume-title":"Computer Aided Verification","author":"E. Allen Emerson","year":"1993","unstructured":"Emerson, E.A., Sistla, A.P.: Symmetry and model checking. In: Computer Aided Verification, 5th International Conference, CAV 1993, Elounda, Greece, Proceedings, 28 June\u20131 July 1993, pp. 463\u2013478 (1993)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-319-24953-7_32","volume-title":"Automated Technology for Verification and Analysis","author":"C Fan","year":"2015","unstructured":"Fan, C., Mitra, S.: Bounded verification with on-the-fly discrepancy computation. In: Finkbeiner, B., Pu, G., Zhang, L. (eds.) ATVA 2015. LNCS, vol. 9364, pp. 446\u2013463. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-24953-7_32"},{"issue":"3","key":"6_CR9","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/MDAT.2018.2799804","volume":"35","author":"C Fan","year":"2018","unstructured":"Fan, C., Qi, B., Mitra, S.: Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features. IEEE Design Test 35(3), 31\u201338 (2018)","journal-title":"IEEE Design Test"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/978-3-319-63387-9_22","volume-title":"Computer Aided Verification","author":"C Fan","year":"2017","unstructured":"Fan, C., Qi, B., Mitra, S., Viswanathan, M.: DryVR: data-driven verification and compositional reasoning for automotive systems. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10426, pp. 441\u2013461. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-63387-9_22"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/978-3-319-41528-4_29","volume-title":"Computer Aided Verification","author":"C Fan","year":"2016","unstructured":"Fan, C., Qi, B., Mitra, S., Viswanathan, M., Duggirala, P.S.: Automatic reachability analysis for nonlinear hybrid models with C2E2. In: Chaudhuri, S., Farzan, A. (eds.) CAV 2016. LNCS, vol. 9779, pp. 531\u2013538. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-41528-4_29"},{"key":"6_CR12","series-title":"Cambridge Monographs on Mathematical Physics","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511564017","volume-title":"Introduction to Supersymmetry","author":"PGO Freund","year":"1986","unstructured":"Freund, P.G.O.: Introduction to Supersymmetry. Cambridge Monographs on Mathematical Physics. Cambridge University Press, Cambridge (1986)"},{"key":"6_CR13","unstructured":"G\u00e9rard, L., Slotine, J.J.: Neuronal networks and controlled symmetries, a generic framework. arXiv preprint q-bio\/0612049 (2006)"},{"key":"6_CR14","unstructured":"Golubitsky, M., Stewart, I.: The Symmetry Perspective: From Equilibrium to Chaos in Phase Space and Physical Space. Progress in Mathematics, Birkh\u00e4user Basel (2012)"},{"issue":"1","key":"6_CR15","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1137\/040612634","volume":"4","author":"M Golubitsky","year":"2005","unstructured":"Golubitsky, M., Stewart, I., T\u00f6r\u00f6k, A.: Patterns of synchrony in coupled cell networks with multiple arrows. SIAM J. Appl. Dyn. Syst. 4(1), 78\u2013100 (2005)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/978-3-319-08867-9_25","volume-title":"Computer Aided Verification","author":"Z Huang","year":"2014","unstructured":"Huang, Z., Fan, C., Mereacre, A., Mitra, S., Kwiatkowska, M.: Invariant verification of nonlinear hybrid automata networks of cardiac cells. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 373\u2013390. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-08867-9_25"},{"key":"6_CR17","unstructured":"Ip, C.N., Dill, D.L.: Better verification through symmetry. In: Proceedings of the 11th IFIP WG10.2 International Conference Sponsored by IFIP WG10.2 and in Cooperation with IEEE COMPSOC on Computer Hardware Description Languages and Their Applications, CHDL 1993, pp. 97\u2013111. North-Holland Publishing Co., Amsterdam, The Netherlands (1993)"},{"issue":"2016\u201301\u20130128","key":"6_CR18","doi-asserted-by":"publisher","first-page":"15","DOI":"10.4271\/2016-01-0128","volume":"4","author":"P Koopman","year":"2016","unstructured":"Koopman, P., Wagner, M.: Challenges in autonomous vehicle testing and validation. SAE Int. J. Transp. Saf. 4(2016\u201301\u20130128), 15\u201324 (2016)","journal-title":"SAE Int. J. Transp. Saf."},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Symmetry reduction for probabilistic model checking. In: 18th International Conference on Computer Aided Verification, CAV 2006, Seattle, WA, USA, 17\u201320 August 2006, Proceedings, pp. 234\u2013248 (2006)","DOI":"10.1007\/11817963_23"},{"key":"6_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-21792-5","volume-title":"Introduction to Mechanics and Symmetry: A Basic Exposition of Classical Mechanical Systems","author":"JE Marsden","year":"2010","unstructured":"Marsden, J.E., Ratiu, T.S.: Introduction to Mechanics and Symmetry: A Basic Exposition of Classical Mechanical Systems. Springer, New York (2010). \nhttps:\/\/doi.org\/10.1007\/978-0-387-21792-5"},{"issue":"3","key":"6_CR21","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1137\/060666044","volume":"6","author":"PG Mehta","year":"2007","unstructured":"Mehta, P.G., Hagen, G., Banaszuk, A.: Symmetry and symmetry-breaking for a wave equation with feedback. SIAM J. Appl. Dyn. Syst. 6(3), 549\u2013575 (2007)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"6_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-0274-2","volume-title":"Applications of Lie Groups to Differential Equations","author":"PJ Olver","year":"1986","unstructured":"Olver, P.J.: Applications of Lie Groups to Differential Equations. Springer, New York (1986). \nhttps:\/\/doi.org\/10.1007\/978-1-4684-0274-2"},{"issue":"1","key":"6_CR23","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.neunet.2006.07.008","volume":"20","author":"QC Pham","year":"2007","unstructured":"Pham, Q.C., Slotine, J.J.: Stable concurrent synchronization in dynamic system networks. Neural Netw. 20(1), 62\u201377 (2007)","journal-title":"Neural Netw."},{"issue":"2","key":"6_CR24","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/s10703-015-0225-4","volume":"46","author":"P Prabhakar","year":"2015","unstructured":"Prabhakar, P., Duggirala, P.S., Mitra, S., Viswanathan, M.: Hybrid automata-based cegar for rectangular hybrid systems. Form. Methods Syst. Des. 46(2), 105\u2013134 (2015)","journal-title":"Form. Methods Syst. Des."},{"issue":"4","key":"6_CR25","doi-asserted-by":"publisher","first-page":"041929","DOI":"10.1103\/PhysRevE.84.041929","volume":"84","author":"G Russo","year":"2011","unstructured":"Russo, G., Slotine, J.J.E.: Symmetries, stability, and control in nonlinear systems and networks. Phys. Rev. E 84(4), 041929 (2011)","journal-title":"Phys. Rev. E"},{"issue":"7","key":"6_CR26","doi-asserted-by":"publisher","first-page":"1025","DOI":"10.1109\/TAC.2005.851449","volume":"50","author":"MW Spong","year":"2005","unstructured":"Spong, M.W., Bullo, F.: Controlled symmetries and passive walking. IEEE Trans. Autom. Control 50(7), 1025\u20131031 (2005)","journal-title":"IEEE Trans. Autom. Control"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31784-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,14]],"date-time":"2019-11-14T13:28:50Z","timestamp":1573738130000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-31784-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030317836","9783030317843"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31784-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"21 October 2019","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":"Taipei","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Taiwan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"atva2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/atva2019.iis.sinica.edu.tw\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Open","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":"87","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":"29","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":"33% - 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.4","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":"Between 1 and 2","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)"}}]}}