Qi Heng Ho, Roland Ilyes, Zachary Sunberg, Morteza Lahijanian
{"title":"摘要:基于采样的复杂系统鲁棒STL综合方法","authors":"Qi Heng Ho, Roland Ilyes, Zachary Sunberg, Morteza Lahijanian","doi":"10.1145/3575870.3589551","DOIUrl":null,"url":null,"abstract":"ACM Reference Format: Qi Heng Ho, Roland B. Ilyes, Zachary Sunberg, and Morteza Lahijanian. 2023. Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty. In Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC ’23), May 9–12, 2023, San Antonio, TX, USA. ACM, New York, NY, USA, 2 pages. https://doi.org/10.1145/3575870.3589551","PeriodicalId":426801,"journal":{"name":"Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control","volume":"120 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty\",\"authors\":\"Qi Heng Ho, Roland Ilyes, Zachary Sunberg, Morteza Lahijanian\",\"doi\":\"10.1145/3575870.3589551\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"ACM Reference Format: Qi Heng Ho, Roland B. Ilyes, Zachary Sunberg, and Morteza Lahijanian. 2023. Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty. In Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC ’23), May 9–12, 2023, San Antonio, TX, USA. ACM, New York, NY, USA, 2 pages. https://doi.org/10.1145/3575870.3589551\",\"PeriodicalId\":426801,\"journal\":{\"name\":\"Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control\",\"volume\":\"120 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-05-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3575870.3589551\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3575870.3589551","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
摘要
《美国计算机学会》参考文献:何琦恒，Roland B. Ilyes, Zachary Sunberg, Morteza Lahijanian。2023。摘要:基于采样的复杂系统鲁棒STL综合方法。第26届ACM混合系统国际会议论文集:计算与控制(HSCC ' 23)， 2023年5月9-12日，圣安东尼奥，德克萨斯州，美国。ACM，纽约，美国，2页。https://doi.org/10.1145/3575870.3589551
Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty
ACM Reference Format: Qi Heng Ho, Roland B. Ilyes, Zachary Sunberg, and Morteza Lahijanian. 2023. Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty. In Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC ’23), May 9–12, 2023, San Antonio, TX, USA. ACM, New York, NY, USA, 2 pages. https://doi.org/10.1145/3575870.3589551
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
