摘要
胡萨姆·阿巴斯(Houssam Abbas)和乔治·费内科斯(Georgios Fainekos)。 2012.安全性能模拟退火伪造的收敛证明。 2012年第50届Allerton通信、控制和计算年会(Allerton)。 1594–1601. https://doi.org/10.109/Allerton.2012.6483411 谷歌学者 交叉引用 胡萨姆·阿巴斯(Houssam Abbas)、乔治·费内科斯(Georgios Fainekos)、斯里拉姆·桑卡拉纳拉亚南(Sriram Sankaranarayanan)、弗兰乔·伊万契奇(Franjo Ivanć)和阿尔蒂·古普塔(Aarti Gupta)。 2013.网络物理系统的概率时间逻辑伪造。 ACM事务处理。 嵌入。 计算。 系统。 12,2,第95条(2013年5月),30页。 https://doi.org/10.1145/2465787.2465797 谷歌学者 数字图书馆 H.Abbas和R.Mangharam。 2018。心脏电生理问题的广义稳健MTL语义。 2018年美国控制年会(ACC)。 1592–1597. https://doi.org/10.23919/ACC.2018.8431460 谷歌学者 交叉引用 亚辛·阿巴斯·亚德科里(Yasin Abbasi-Yadkori)、彼得·巴特利特(Peter Bartlett)、维克托·加比隆(Victor Gabillon)和阿兰·马利克(Alan Malek)。 2017.非凸空间采样和规划的点击和运行。 在《第20届国际人工智能与统计会议论文集》(机器学习研究论文集,第54卷)中,Aarti Singh和Jerry Zhu(编辑)。 PMLR,888–895。 https://proceedings.mlr.press/v54/abbasi-yadkori17a.html 谷歌学者 Étienne André、Masaki Waga、Natuski Urabe和Ichiro Hasuo。 2022.以有界行为信号为例说明参数定时规范。 在NASA形式方法中,Jyotirmoy V。 Deshmukh、Klaus Havelund和Ivan Perez(编辑)。 施普林格国际出版公司,Cham,470-488。 谷歌学者 Ezio Bartocci、Luca Bortolussi、Michele Loreti和Laura Nenzi。 2017.监测移动和空间分布式网络物理系统。 在ACM MEMOCODE会议记录中。 计算机械协会,美国纽约州纽约市,146-155。 https://doi.org/10.1145/3127041.3127050 谷歌学者 数字图书馆 尼古拉斯·巴塞特(Nicolas Basset)、托·唐(Thao Dang)、费利克斯·吉格勒(Felix Gigler)、克里斯蒂娜·马蒂斯(Cristinel Mateis)和德扬·尼奇科维奇(Dejan Nićković)。 2021.使用ShapEx对形状表达式进行采样。 第19届ACM-IEEE系统设计形式化方法和模型国际会议论文集(虚拟事件,中国)(MEMOCODE’21)。 美国纽约州纽约市计算机协会,118-125。 https://doi.org/10.1145/3487212.3487350 谷歌学者 数字图书馆 卢卡·博图卢西、朱塞佩·玛丽亚·加洛和劳拉·内齐。 2020。信号时序逻辑公式的核心函数。 在2020年9月25日由Bolzano Summer of Knowledge 2020(BOSK 2020)主办的第二届人工智能与形式验证、逻辑、自动化与合成研讨会论文集(CEUR Workshop Proceedings,Vol.2785)中,Riccardo De Benedictis、Luca Geretti和Andrea Micheli(编辑)。 CEUR-WS.org,29–34。 谷歌学者 陈永超(Yongchao Chen)、甘地(Rujul Gandhi)、张扬(Yang Zhang)和范楚楚(Chuchu Fan)。 2023.NL2TL:使用大型语言模型将自然语言转换为时间逻辑。 arxiv:2305.07766[cs.CL] 谷歌学者 西德哈塔·奇布(Siddhartha Chib)和爱德华·格林伯格(Edward Greenberg),1995年。 了解Metropolis-Hastings算法。 《美国统计学家》49,4(1995年11月),327–335。 谷歌学者 交叉引用 Jyodirmoy Deshmukh、Marko Horvat、Xiaoqing Jin、Rupak Majumdar和Vinayak S。 帕布。2017。 通过贝叶斯优化测试网络物理系统。 ACM事务处理。 嵌入。 计算。 系统。 16、5s,第170条(2017年9月),18页。 https://doi.org/10.1145/3126521 谷歌学者 数字图书馆 A.Dokhanchi、B.Hoxha和G.Fainekos。 2014.时间逻辑鲁棒性在线监测。 程序中。 运行时验证。 斯普林格。 谷歌学者 亚历山大·唐泽。 2010年,Breach,混合系统验证和参数合成工具箱。 在计算机辅助验证中,Tayssir Touili、Byron Cook和Paul Jackson(编辑)。 施普林格-柏林-海德堡,柏林,海德堡。 谷歌学者 亚历山大·唐泽和奥德·马勒。 2010.时间逻辑对实值信号的鲁棒满足。 《第八届国际时间系统形式建模与分析会议论文集》(奥地利克洛斯特内堡)(FORMATS’10)。 施普林格出版社,柏林,海德堡,92–106。 谷歌学者 数字图书馆 G.费内科斯和G.帕帕斯。 2009.连续时间信号的时序逻辑规范的稳健性。 理论计算机科学(2009)。 谷歌学者 妮可·弗兰达和胡萨姆·阿巴斯。 2022.时态逻辑公式的可微推理。 IEEE集成电路和系统计算机辅助设计汇刊41,11(2022),4193–4204。 https://doi.org/10.109/TCAD.2022.3197506 谷歌学者 数字图书馆 Shromona Ghosh、Dorsa Sadigh、Pierluigi Nuzzo、Vasumathi Raman、Alexandre Donzé、Alberto L。 Sangiovanni-Vincentelli、S.Shankar Sastry和Sanjit A。 塞希亚。 2016.根据信号时序逻辑规范进行合成的诊断和修复。 《第19届混合系统国际会议论文集:计算与控制》(奥地利维也纳)(HSCC’16)。 美国纽约州纽约市计算机协会,31-40。 https://doi.org/10.1145/2883817.2883847 谷歌学者 数字图书馆 Jie He、Ezio Bartocci、Dejan Nićković、Haris Isakovic和Radu Grosu。 2022.DeepSTL:从英语要求到信号时序逻辑。 第44届国际软件工程会议(宾夕法尼亚州匹兹堡)(ICSE’22)论文集。 计算机械协会,美国纽约州纽约市,610-622。 https://doi.org/10.1145/3510003.3510171 谷歌学者 数字图书馆 巴德·霍夏(Bardh Hoxha)、黄巴赫(Hoang Bach)、胡萨姆·阿巴斯(Houssam Abbas)、阿德尔·多坎奇(Adel Dokhanchi)、小林义弘(Yoshihiro Kobayashi)和乔治·费内科斯(Georgios Fainekos)。 2014.实现网络物理系统测试和监测的正式规范可视化。 在正式工具和系统的设计和实现国际研讨会上。 谷歌学者 巴迪·霍克萨(Bardh Hoxha)、尼古拉·马夫里迪斯(Nikolaos Mavridis)和乔治·费内科斯(Georgios Fainekos)。 2015年,VISPEC:一个用于获取MTL要求的图形工具。 2015年IEEE/RSJ国际智能机器人与系统会议(IROS)。 3486–3492. https://doi.org/10.109/IROS.2015.7353863 谷歌学者 数字图书馆 詹姆斯·卡宾斯基(James Kapinski)、金晓庆(Xiaoqing Jin)、杰蒂莫·德什穆克(Jyotirmoy Deshmukh)、亚历山大·唐泽(Alexandre Donze)、山口友友(Tomoya Yamaguchi)、伊藤久弘(Hisahiro Ito)、卡加(Tomoyuki Kaga)、科布纳(Sh。 2016年,ST-Lib:指定和分类模型行为的库。 参加SAE 2016年世界大会和展览。 SAE。 https://doi.org/10.4271/2016-01-0621 谷歌学者 交叉引用 Zhaodan Kong、Austin Jones、Ana Medina Ayala、Ebru Aydin Gol和Calin Belta。 2014.数据分类和预测的时间逻辑推断。 《第17届混合系统国际会议论文集:计算与控制》(德国柏林)(HSCC’14)。 美国纽约州纽约市计算机协会,273-282。 https://doi.org/10.1145/2562059.2562146 谷歌学者 数字图书馆 R.Koymans。 1990.使用度量时态逻辑指定实时属性。 实时系统2,4(1990),255–299。 谷歌学者 奥德·马勒和德扬·尼科维奇。 2004.监测连续信号的时间特性。 施普林格-柏林-海德堡。 谷歌学者 努辛·梅迪波尔(Noushin Mehdipour)、克里斯蒂安·伊万·瓦西莱(Cristian Ioan Vasile)和卡林·贝尔塔(Calin Belta)。 2019.连续时间信号时序逻辑的基于平均值的鲁棒性。 2019年12月11日至13日,法国尼斯,CDC 2019,第58届IEEE决策与控制会议。 IEEE,5312–5317。 https://doi.org/10.109/CDC40024.2019.9029989 谷歌学者 数字图书馆 帕维思拉·普拉巴卡(Pavithra Prabhakar)、拉坦·拉尔(Ratan Lal)和詹姆斯·卡宾斯基(James Kapinski)。 2018.信号时序逻辑的自动跟踪生成。 2018年IEEE实时系统研讨会(RTSS)。 208–217. https://doi.org/10.1109/RTSS.2018.00038 谷歌学者 交叉引用 V.Raman、A.Donze、M.Maasoumy、R.M。 Murray、A.Sangiovanni-Vincentelli和S.A。 塞希亚。 2014.具有信号时序逻辑规范的模型预测控制。 在第53届IEEE决策与控制会议上。 81–87. https://doi.org/10.109/CDC.2014.7039363 谷歌学者 交叉引用 亨德里克·罗姆(Hendrik Roehm)、托马斯·海因茨(Thomas Heinz)和伊娃·夏洛特·梅尔(Eva Charlotte Mayer)。 2017.STL检查员:STL保证验证。 在2017年7月24日至28日于德国海德堡举行的计算机辅助验证第29届国际会议上,Rupak Majumdar和Viktor Kuncak(编辑),《第一部分会议记录》(计算机科学讲稿,第10426卷)。 施普林格,225–232岁。 https://doi.org/10.1007/978-3-319-63387-9_11 谷歌学者 交叉引用 萨德拉·萨德拉迪尼和卡林·贝尔塔。 2015.鲁棒时序逻辑模型预测控制。 在Allerton会议上。 谷歌学者
索引术语
时序逻辑公式的几何逼近
建议
线性时序逻辑程序设计语言 ACS’06:第六届WSEAS应用计算机科学国际会议记录 最近的逻辑计算为逻辑编程开辟了新的可能性。 显然,其中最重要的是线性逻辑,它使得通过资源处理解决问题成为可能。 线性逻辑已经被用于。。。 时序逻辑公式批处理的优化编译器 ISSTA’04:2004年ACM SIGSOFT软件测试和分析国际研讨会会议记录 基于验证时序逻辑公式的模型检查已被证明对许多软件工程应用是实用和有效的。 随着基于此方法的系统变得越来越主流,出现了有效处理大型。。。