{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T16:31:24Z","timestamp":1758126684449,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,30]],"date-time":"2022-10-30T00:00:00Z","timestamp":1667088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,30]]},"DOI":"10.1145\/3508352.3549446","type":"proceedings-article","created":{"date-parts":[[2022,12,22]],"date-time":"2022-12-22T12:10:54Z","timestamp":1671711054000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts"],"prefix":"10.1145","author":[{"given":"Chanwook","family":"Oh","sequence":"first","affiliation":[{"name":"University of Southern California"}]},{"given":"Michele","family":"Lora","sequence":"additional","affiliation":[{"name":"University of Southern California and University of Verona, Verona, Italy"}]},{"given":"Pierluigi","family":"Nuzzo","sequence":"additional","affiliation":[{"name":"University of Southern California"}]}],"member":"320","published-online":{"date-parts":[[2022,12,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2633961"},{"issue":"2","key":"e_1_3_2_1_2_1","first-page":"3","article-title":"Contracts for system design","volume":"12","author":"Benveniste A.","year":"2018","unstructured":"A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J.-B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T. A. Henzinger, and K. G. Larsen, \"Contracts for system design,\" Foundations and Trends\u00ae in Electronic Design Automation, vol. 12, no. 2--3, pp. 124--400, 2018.","journal-title":"Foundations and Trends\u00ae in Electronic Design Automation"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2453253"},{"key":"e_1_3_2_1_4_1","first-page":"839","volume-title":"Automation Test in Europe Conference Exhibition (DATE)","author":"Nuzzo P.","year":"2018","unstructured":"P. Nuzzo, M. Lora, Y. A. Feldman, and A. L. Sangiovanni-Vincentelli, \"CHASE: Contract-based requirement engineering for cyber-physical system design,\" in 2018 Design, Automation Test in Europe Conference Exhibition (DATE), March 2018, pp. 839--844."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"A. Pnueli \"The temporal logic of programs \" in 18th Annual Symposium on Foundations of Computer Science (sfcs 1977) 1977 pp. 46--57.","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_6_1","first-page":"152","volume-title":"Monitoring temporal properties of continuous signals,\" in Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"Maler O.","year":"2004","unstructured":"O. Maler and D. Nickovic, \"Monitoring temporal properties of continuous signals,\" in Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Y. Lakhnech and S. Yovine, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004, pp. 152--166."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2013.2295764"},{"key":"e_1_3_2_1_9_1","first-page":"1","volume-title":"Automation Test in Europe Conference Exhibition (DATE)","author":"Nuzzo P.","year":"2014","unstructured":"P. Nuzzo, J. B. Finn, A. Iannopollo, and A. L. Sangiovanni-Vincentelli, \"Contract-based design of control protocols for safety-critical cyber-physical systems,\" in 2014 Design, Automation Test in Europe Conference Exhibition (DATE), March 2014, pp. 1--4."},{"key":"e_1_3_2_1_10_1","first-page":"246","volume-title":"Automation Test in Europe Conference Exhibition (DATE)","author":"Oh C.","year":"2019","unstructured":"C. Oh, E. Kang, S. Shiraishi, and P. Nuzzo, \"Optimizing assume-guarantee contracts for cyber-physical system design,\" in 2019 Design, Automation Test in Europe Conference Exhibition (DATE), March 2019, pp. 246--251."},{"key":"e_1_3_2_1_11_1","volume-title":"December","author":"DeCastro J.","year":"2018","unstructured":"J. DeCastro, L. Liebenwein, C.-I. Vasile, R. Tedrake, S. Karaman, and D. Rus, \"Counterexample-guided safety contracts for autonomous driving,\" in Proceedings of the 13th International Workshop on the Algorithmic Foundations of Robotics (WAFR), December 2018."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243216"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"e_1_3_2_1_14_1","first-page":"92","volume-title":"Robust satisfaction of temporal logic over real-valued signals,\" in Formal Modeling and Analysis of Timed Systems","author":"Donz\u00e9 A.","year":"2010","unstructured":"A. Donz\u00e9 and O. Maler, \"Robust satisfaction of temporal logic over real-valued signals,\" in Formal Modeling and Analysis of Timed Systems, K. Chatterjee and T. A. Henzinger, Eds. Springer Berlin Heidelberg, 2010, pp. 92--106."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0286-7"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3363294"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511779398"},{"key":"e_1_3_2_1_20_1","volume-title":"Foundations of Bilevel Programming","author":"Dempe S.","year":"2002","unstructured":"S. Dempe, Foundations of Bilevel Programming. Springer New York, NY, 2002."},{"key":"e_1_3_2_1_21_1","volume-title":"RSS '16","author":"Sadigh D.","year":"2016","unstructured":"D. Sadigh and A. Kapoor, \"Safe control under uncertainty with probabilistic signal temporal logic,\" in Proceedings of Robotics: Science and Systems, ser. RSS '16, 2016."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-017-9413-9"},{"key":"e_1_3_2_1_23_1","first-page":"5","article-title":"Stochastic contracts for cyber-physical system design under probabilistic requirements,\" in Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, ser. MEMOCODE '17. New York, NY","author":"Li J.","year":"2017","unstructured":"J. Li, P. Nuzzo, A. Sangiovanni-Vincentelli, Y. Xi, and D. Li, \"Stochastic contracts for cyber-physical system design under probabilistic requirements,\" in Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, ser. MEMOCODE '17. New York, NY, USA: ACM, 2017, p. 5--14.","journal-title":"USA: ACM"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3358231"},{"key":"e_1_3_2_1_25_1","first-page":"1422","volume-title":"Control barrier functions for nonholonomic systems under risk signal temporal logic specifications,\" in 2020 59th IEEE Conference on Decision and Control (CDC)","author":"Lindemann L.","year":"2020","unstructured":"L. Lindemann, G. J. Pappas, and D. V. Dimarogonas, \"Control barrier functions for nonholonomic systems under risk signal temporal logic specifications,\" in 2020 59th IEEE Conference on Decision and Control (CDC), 2020, pp. 1422--1428."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1137\/0913069"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02191670"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2017.2712906"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0305-0548(82)90007-7"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.08.002"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/2779627.2779791"},{"key":"e_1_3_2_1_32_1","volume-title":"Model predictive control for signal temporal logic specification","author":"Raman V.","year":"2017","unstructured":"V. Raman, A. Donz\u00e9, M. Maasoumy, R. M. Murray, A. Sangiovanni-Vincentelli, and S. A. Seshia, \"Model predictive control for signal temporal logic specification,\" 2017."},{"key":"e_1_3_2_1_33_1","volume-title":"Computational advances in solving mixed integer linear programming problems","author":"Lima R. M.","year":"2011","unstructured":"R. M. Lima and I. E. Grossmann, \"Computational advances in solving mixed integer linear programming problems,\" January 2011."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sorms.2012.08.001"},{"key":"e_1_3_2_1_35_1","volume-title":"2nd IFAC Conference on Control Systems Design (CSD '03)","author":"Canale M.","year":"2003","unstructured":"M. Canale and S. Malan, \"Robust design of PID based ACC S&G systems,\" IFAC Proceedings Volumes, vol. 36, no. 18, pp. 333--338, 2003, 2nd IFAC Conference on Control Systems Design (CSD '03), Bratislava, Slovak Republic, 7--10 September 2003."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.3390\/electronics8090943"}],"event":{"name":"ICCAD '22: IEEE\/ACM International Conference on Computer-Aided Design","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE-EDS Electronic Devices Society","IEEE CAS","IEEE CEDA"],"location":"San Diego California","acronym":"ICCAD '22"},"container-title":["Proceedings of the 41st IEEE\/ACM International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3508352.3549446","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3508352.3549446","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:57Z","timestamp":1750186977000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3508352.3549446"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,30]]},"references-count":35,"alternative-id":["10.1145\/3508352.3549446","10.1145\/3508352"],"URL":"https:\/\/doi.org\/10.1145\/3508352.3549446","relation":{},"subject":[],"published":{"date-parts":[[2022,10,30]]},"assertion":[{"value":"2022-12-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}