{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T06:24:20Z","timestamp":1776839060136,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,11]],"date-time":"2018-04-11T00:00:00Z","timestamp":1523404800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"SNSF","award":["200021_172782"],"award-info":[{"award-number":["200021_172782"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,4,11]]},"DOI":"10.1145\/3178126.3178136","type":"proceedings-article","created":{"date-parts":[[2018,4,2]],"date-time":"2018-04-02T12:12:32Z","timestamp":1522671152000},"page":"157-166","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["From Uncertainty Data to Robust Policies for Temporal Logic Planning"],"prefix":"10.1145","author":[{"given":"Pier Giuseppe","family":"Sessa","sequence":"first","affiliation":[{"name":"Automatic Control Laboratory, ETH Zurich, Zurich, Switzerland"}]},{"given":"Damian","family":"Frick","sequence":"additional","affiliation":[{"name":"Automatic Control Laboratory, ETH Zurich, Zurich, Switzerland"}]},{"given":"Tony A.","family":"Wood","sequence":"additional","affiliation":[{"name":"Automatic Control Laboratory, ETH Zurich, Zurich, Switzerland"}]},{"given":"Maryam","family":"Kamgarpour","sequence":"additional","affiliation":[{"name":"Automatic Control Laboratory, ETH Zurich, Zurich, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2018,4,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"C. Baier and J-P. Katoen. 2008. Principles of Model Checking. The MIT Press.   C. Baier and J-P. Katoen. 2008. Principles of Model Checking. The MIT Press."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00178-2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"A. Ben-Tal L. El Ghaoui and A. Nemirovski. 2009. Robust optimization. Princeton University Press.  A. Ben-Tal L. El Ghaoui and A. Nemirovski. 2009. Robust optimization. Princeton University Press.","DOI":"10.1515\/9781400831050"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.2016.1515"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-017-1135-6"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-2(5:5)2006"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1137\/090773490"},{"key":"e_1_3_2_1_8_1","volume-title":"IEEE Conf. on Decision and Control. 3508--3513","author":"Calafiore G. C."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1137\/07069821X"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-016-1056-9"},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. 18th IFAC World Congress 44","author":"Ding X. C.","year":"2011"},{"key":"e_1_3_2_1_12_1","first-page":"1","article-title":"Performance Bounds for the Scenario Approach and an Extension to a Class of Non-Convex Programs","volume":"60","author":"Esfahani P. M.","year":"2015","journal-title":"IEEE Trans. on Automatic Control"},{"key":"e_1_3_2_1_13_1","volume-title":"Hybrid Controllers for Path Planning: A Temporal Logic Approach. In IEEE Conf. on Decision and Control. 4885--4890","author":"Fainekos G. E."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963204"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.195"},{"key":"e_1_3_2_1_16_1","unstructured":"D. Frick P. G. Sessa T. A. Wood and M. Kamgarpour. 2018. Exploiting submod-uarlity in mixed-integer chance constrained programs. (Jan. 2018) 15 pages. arXiv:1801.03258 (under review).  D. Frick P. G. Sessa T. A. Wood and M. Kamgarpour. 2018. Exploiting submod-uarlity in mixed-integer chance constrained programs. (Jan. 2018) 15 pages. arXiv:1801.03258 (under review)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2017.2700333"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.03.029"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.08.023"},{"key":"e_1_3_2_1_20_1","first-page":"2","article-title":"A Scenario Approach for Non-Convex Control Design","volume":"61","author":"Grammatico S.","year":"2016","journal-title":"IEEE Trans. on Automatic Control"},{"key":"e_1_3_2_1_21_1","unstructured":"Int. Business Machines Corp. (IBM). 2017. IBM ILOG CPLEX Optimization Studio. (Sept. 2017). http:\/\/www.ibm.com\/software\/commerce\/optimization\/cplex-optimizer  Int. Business Machines Corp. (IBM). 2017. IBM ILOG CPLEX Optimization Studio. (Sept. 2017). http:\/\/www.ibm.com\/software\/commerce\/optimization\/cplex-optimizer"},{"key":"e_1_3_2_1_22_1","volume-title":"NATO ASI Series","volume":"89","author":"Jordan M. I.","year":"1998"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461374"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.10.013"},{"key":"e_1_3_2_1_25_1","volume-title":"IEEE Conf. on Decision and Control. 2117--2122","author":"Karaman S."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562146"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2172150"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2303232"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/3215192.3215204"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728628"},{"key":"e_1_3_2_1_34_1","volume-title":"Robotics: Science and Systems.","author":"Sadigh D.","year":"2016"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1137\/120878719"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"A. Shapiro. 2013. Sample Average Approximation. Springer US Boston MA 1350--1355.  A. Shapiro. 2013. Sample Average Approximation. Springer US Boston MA 1350--1355.","DOI":"10.1007\/978-1-4419-1153-7_1154"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"e_1_3_2_1_38_1","volume-title":"IEEE Conf. on Decision and Control. 3372--3379","author":"Wolff E. M."},{"key":"e_1_3_2_1_39_1","volume-title":"IEEE Int. Conf. on Robotics and Automation. 5319--5325","author":"Wolff E. M."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.07.013"}],"event":{"name":"HSCC '18: 21st International Conference on Hybrid Systems: Computation and Control","location":"Porto Portugal","acronym":"HSCC '18","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3178126.3178136","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3178126.3178136","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:02:56Z","timestamp":1750215776000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3178126.3178136"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,11]]},"references-count":40,"alternative-id":["10.1145\/3178126.3178136","10.1145\/3178126"],"URL":"https:\/\/doi.org\/10.1145\/3178126.3178136","relation":{},"subject":[],"published":{"date-parts":[[2018,4,11]]},"assertion":[{"value":"2018-04-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}