{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,5]],"date-time":"2026-08-05T10:45:07Z","timestamp":1785926707414,"version":"3.56.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031452857","type":"print"},{"value":"9783031452864","type":"electronic"}],"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-45286-4_11","type":"book-chapter","created":{"date-parts":[[2023,10,4]],"date-time":"2023-10-04T09:02:28Z","timestamp":1696410148000},"page":"141-154","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Framework for\u00a0the\u00a0Competitive Analysis of\u00a0Model Predictive Controllers"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6608-920X","authenticated-orcid":false,"given":"Stijn","family":"Bellis","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4926-6737","authenticated-orcid":false,"given":"Joachim","family":"Denil","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1098-3587","authenticated-orcid":false,"given":"Ramesh","family":"Krishnamurthy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6281-9693","authenticated-orcid":false,"given":"Tim","family":"Leys","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1200-4952","authenticated-orcid":false,"given":"Guillermo A.","family":"P\u00e9rez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1467-1182","authenticated-orcid":false,"given":"Ritam","family":"Raha","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,10,5]]},"reference":[{"key":"11_CR1","unstructured":"Abadi, M., et al.: TensorFlow: a system for large-scale machine learning. In: keeton, K., Roscoe, T. (eds.) 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016, Savannah, GA, USA, 2\u20134 November 2016, pp. 265\u2013283. USENIX Association (2016). https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/abadi"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Bak, S., Bogomolov, S., Johnson, T.T.: HYST: a source transformation and translation tool for hybrid automaton models. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, pp. 128\u2013133 (2015)","DOI":"10.1145\/2728606.2728630"},{"issue":"21","key":"11_CR3","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/S1474-6670(17)46716-4","volume":"28","author":"I Bratko","year":"1995","unstructured":"Bratko, I., Urban\u010di\u010d, T., Sammut, C.: Behavioural cloning: phenomena, results and problems. IFAC Proc. Vol. 28(21), 143\u2013149 (1995)","journal-title":"IFAC Proc. Vol."},{"issue":"4","key":"11_CR4","doi-asserted-by":"publisher","first-page":"911","DOI":"10.1109\/72.392253","volume":"6","author":"T Chen","year":"1995","unstructured":"Chen, T., Chen, H.: Universal approximation to nonlinear operators by neural networks with arbitrary activation functions and its application to dynamical systems. IEEE Trans. Neural Netw. 6(4), 911\u2013917 (1995)","journal-title":"IEEE Trans. Neural Netw."},{"key":"11_CR5","doi-asserted-by":"publisher","unstructured":"Chen, X., Sankaranarayanan, S.: Reachability analysis for cyber-physical systems: are we there yet? In: Deshmukh, J.V., Havelund, K., Perez, I. (eds.) NASA Formal Methods, NFM 2022. LNCS, vol. 13260. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-06773-0_6","DOI":"10.1007\/978-3-031-06773-0_6"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Clavi\u00e8re, A., Dutta, S., Sankaranarayanan, S.: Trajectory tracking control for robotic vehicles using counterexample guided training of neural networks. In: Benton, J., Lipovetzky, N., Onaindia, E., Smith, D.E., Srivastava, S. (eds.) Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2018, Berkeley, CA, USA, 11\u201315 July 2019, pp. 680\u2013688. AAAI Press (2019). https:\/\/ojs.aaai.org\/index.php\/ICAPS\/article\/view\/3555","DOI":"10.1609\/icaps.v29i1.3555"},{"key":"11_CR7","doi-asserted-by":"publisher","unstructured":"Fantoni, I., Lozano, R., Lozano, R.: Non-linear Control for Underactuated Mechanical Systems. Springer, London (2002). https:\/\/doi.org\/10.1007\/978-1-4471-0177-2","DOI":"10.1007\/978-1-4471-0177-2"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"Computer Aided Verification","author":"G Frehse","year":"2011","unstructured":"Frehse, G., et al.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379\u2013395. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_30"},{"key":"11_CR9","unstructured":"Gillis, J., Vandewal, B., Pipeleers, G., Swevers, J.: Effortless modeling of optimal control problems with rockit. In: 39th Benelux Meeting on Systems and Control, Elspeet, The Netherlands, 10 March 2020\u201312 March 2020 (2020)"},{"issue":"1","key":"11_CR10","doi-asserted-by":"publisher","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(1), 94\u2013124 (1998). https:\/\/doi.org\/10.1006\/jcss.1998.1581","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"11_CR11","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1109\/LCSYS.2018.2843682","volume":"2","author":"M Hertneck","year":"2018","unstructured":"Hertneck, M., K\u00f6hler, J., Trimpe, S., Allg\u00f6wer, F.: Learning an approximate model predictive controller with guarantees. IEEE Control. Syst. Lett. 2(3), 543\u2013548 (2018). https:\/\/doi.org\/10.1109\/LCSYS.2018.2843682","journal-title":"IEEE Control. Syst. Lett."},{"issue":"1","key":"11_CR12","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s00236-016-0268-z","volume":"54","author":"P Hunter","year":"2017","unstructured":"Hunter, P., P\u00e9rez, G.A., Raskin, J.: Reactive synthesis without regret. Acta Informatica 54(1), 3\u201339 (2017). https:\/\/doi.org\/10.1007\/s00236-016-0268-z","journal-title":"Acta Informatica"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-030-81685-8_11","volume-title":"Computer Aided Verification","author":"R Ivanov","year":"2021","unstructured":"Ivanov, R., Carpenter, T., Weimer, J., Alur, R., Pappas, G., Lee, I.: Verisig 2.0: verification of neural network controllers using Taylor model preconditioning. In: Silva, A., Leino, K.R.M. (eds.) CAV 2021. LNCS, vol. 12759, pp. 249\u2013262. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-81685-8_11"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Julian, K.D., Lopez, J., Brush, J.S., Owen, M.P., Kochenderfer, M.J.: Policy compression for aircraft collision avoidance systems. In: 2016 IEEE\/AIAA 35th Digital Avionics Systems Conference (DASC), pp. 1\u201310. IEEE (2016)","DOI":"10.1109\/DASC.2016.7778091"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"LaValle, S.M.: Planning Algorithms. Cambridge University Press (2006)","DOI":"10.1017\/CBO9780511546877"},{"key":"11_CR16","doi-asserted-by":"publisher","unstructured":"Muvvala, K., Amorese, P., Lahijanian, M.: Let\u2019s collaborate: regret-based reactive synthesis for robotic manipulation. In: 2022 International Conference on Robotics and Automation, ICRA 2022, Philadelphia, PA, USA, 23\u201327 May 2022, pp. 4340\u20134346. IEEE (2022). https:\/\/doi.org\/10.1109\/ICRA46639.2022.9812298","DOI":"10.1109\/ICRA46639.2022.9812298"},{"key":"11_CR17","unstructured":"Ross, S., Bagnell, D.: Efficient reductions for imitation learning. In: Teh, Y.W., Titterington, D.M. (eds.) Proceedings of the Thirteenth International Conference on Artificial Intelligence and Statistics, AISTATS 2010. JMLR Proceedings, Chia Laguna Resort, Sardinia, Italy, 13\u201315 May 2010, vol. 9, pp. 661\u2013668. JMLR.org (2010). http:\/\/proceedings.mlr.press\/v9\/ross10a.html"},{"key":"11_CR18","unstructured":"Ross, S., Gordon, G.J., Bagnell, D.: A reduction of imitation learning and structured prediction to no-regret online learning. In: Gordon, G.J., Dunson, D.B., Dud\u00edk, M. (eds.) Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics, AISTATS 2011. JMLR Proceedings, Fort Lauderdale, USA, 11\u201313 April 2011, vol. 15, pp. 627\u2013635. JMLR.org (2011). http:\/\/proceedings.mlr.press\/v15\/ross11a\/ross11a.pdf"}],"container-title":["Lecture Notes in Computer Science","Reachability Problems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-45286-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,4]],"date-time":"2023-10-04T12:03:18Z","timestamp":1696420998000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-45286-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031452857","9783031452864"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-45286-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"5 October 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Reachability Problems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nice","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","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":"11 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 October 2023","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":"rp2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.lix.polytechnique.fr\/Labo\/Olivier.Bournez\/RP2023\/i.php?n=Main.Home","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.org","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","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":"13","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":"68% - 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","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":"4","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)"}}]}}