{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:10:18Z","timestamp":1750219818017,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T00:00:00Z","timestamp":1683590400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,9]]},"DOI":"10.1145\/3575870.3589551","type":"proceedings-article","created":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T22:42:27Z","timestamp":1683585747000},"page":"1-2","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-0743-9341","authenticated-orcid":false,"given":"Qi Heng","family":"Ho","sequence":"first","affiliation":[{"name":"University of Colorado Boulder, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-9241-4362","authenticated-orcid":false,"given":"Roland","family":"Ilyes","sequence":"additional","affiliation":[{"name":"University of Colorado Boulder, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9707-3035","authenticated-orcid":false,"given":"Zachary","family":"Sunberg","sequence":"additional","affiliation":[{"name":"University of Colorado Boulder, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7549-4365","authenticated-orcid":false,"given":"Morteza","family":"Lahijanian","sequence":"additional","affiliation":[{"name":"University of Colorado Boulder, USA"}]}],"member":"320","published-online":{"date-parts":[[2023,5,9]]},"reference":[{"volume-title":"Principles of Model Checking","author":"Baier Christel","key":"e_1_3_2_1_1_1","unstructured":"Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. The MIT Press, Cambridge, MA."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"e_1_3_2_1_3_1","volume-title":"Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. In Int. Joint Conf. on Artificial Intelligence. AAAI Press, 854\u2013860","author":"De\u00a0Giacomo Giuseppe","year":"2013","unstructured":"Giuseppe De\u00a0Giacomo and Moshe\u00a0Y. Vardi. 2013. Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. In Int. Joint Conf. on Artificial Intelligence. AAAI Press, 854\u2013860."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942976"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2016.2602363"},{"key":"e_1_3_2_1_6_1","volume-title":"Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications. In Conference on Decision and Control. 3243\u20133249","author":"Ho Qi\u00a0Heng","year":"2022","unstructured":"Qi\u00a0Heng Ho, Roland\u00a0B. Ilyes, Zachary\u00a0N. Sunberg, and Morteza Lahijanian. 2022. Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications. In Conference on Decision and Control. 3243\u20133249."},{"key":"e_1_3_2_1_7_1","volume-title":"Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic. In Int\u2019l Conf. on Robotics and Automation. IEEE.","author":"Ilyes B.","year":"2023","unstructured":"Roland\u00a0B. Ilyes, Qi\u00a0Heng Ho, and Morteza Lahijanian. 2023. Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic. In Int\u2019l Conf. on Robotics and Automation. IEEE."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1177\/02783640122067453"},{"volume-title":"Asymptotically Optimal Stochastic Motion Planning with Temporal Goals","author":"Luna Ryan","key":"e_1_3_2_1_9_1","unstructured":"Ryan Luna, Morteza Lahijanian, Mark Moll, and Lydia\u00a0E. Kavraki. 2015. Asymptotically Optimal Stochastic Motion Planning with Temporal Goals. Springer International Publishing, 335\u2013352."},{"volume-title":"Formal Techniq., Model. and Analy. of Timed and Fault-Tolerant Sys","author":"Maler Oded","key":"e_1_3_2_1_10_1","unstructured":"Oded Maler and Dejan Nickovic. 2004. Monitoring Temporal Properties of Continuous Signals. In Formal Techniq., Model. and Analy. of Timed and Fault-Tolerant Sys.Springer, 152\u2013166."}],"event":{"name":"HSCC '23: 26th ACM International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"San Antonio TX USA","acronym":"HSCC '23"},"container-title":["Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575870.3589551","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3575870.3589551","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:12Z","timestamp":1750178772000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575870.3589551"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":10,"alternative-id":["10.1145\/3575870.3589551","10.1145\/3575870"],"URL":"https:\/\/doi.org\/10.1145\/3575870.3589551","relation":{},"subject":[],"published":{"date-parts":[[2023,5,9]]},"assertion":[{"value":"2023-05-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}