×

找到479个文档（结果1-100）

最新的 引文 关联
洛科·德尼古拉；卢卡·迪·斯特法诺；奥马尔·因弗索；塞雷内拉·瓦利亚尼

觅食蚂蚁集体行为的直观建模和形式分析。 （英语） Zbl 07810883号

Pang，Jun（编辑）等人，《系统生物学中的计算方法》。第21届国际会议，CMSB 2023，卢森堡市，2023年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14137, 44-61 (2023).
MSC公司：92D50型 第92页第42页
PDF格式BibTeX公司 XML格式引用
\textit{R.De Nicola}等人，Lect。注释计算。科学。14137，44-61（2023；Zbl 07810883）
全文： 内政部
Tran，Hoang Dung村；Choi、Sung Woo；杨晓东；山口，富古屋；巴德省霍克萨；丹尼尔·普罗霍罗夫

具有星可达性的递归神经网络的验证。 （英语） Zbl 07807947号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第6号论文，第13页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{H.D.Tran}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第6号论文，第13页（2023；Zbl 07807947）
全文： 内政部
马坦一世·贝利德。；巴特·陈·罗森伯格；沙迦·伊扎基

通过模型引导近似进行SMT采样。 （英语） Zbl 1529.68284号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 74-91 (2023).
MSC公司：68T20型 60年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\文本{M.I.Peled}等人，Lect。注释计算。科学。14000，74-91（2023；Zbl 1529.68284）
全文： 内政部 arXiv公司
亚历山德罗·阿巴特；哈尼尔·巴博萨；克拉克·巴雷特；克里斯蒂娜·大卫；帕斯卡·凯塞利；丹尼尔·克罗宁；伊丽莎白·波尔格林；安德鲁·雷诺兹；塞萨尔·蒂内利

用非平凡常数合成程序。 （英语） 兹伯利07702725

J.汽车。推理 67，第2号，第19号论文，第25页（2023年）.
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Abate}等人，J.Autom。推理67，第2号，第19号论文，第25页（2023；Zbl 07702725）
全文： 内政部
卡洛斯·阿尔贝托，拉米雷斯·雷斯特雷波；Juan C.Jaramillo。；佩雷斯（Jorge A.Pérez）。

Maude中基于会话的并发：可执行语义和类型检查。 （英语） Zbl 1512.68173号

J.日志。阿尔盖布。方法计划。 133，文章ID 100872，42 p.（2023）.
MSC公司：68问题85 2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.A.Ramírez Restrepo}等人，J.Log。阿尔盖布。方法计划。133，文章ID 100872，42 p.（2023；Zbl 1512.68173）
全文： 内政部
科恩，马克斯·H。；扎卡里·瑟林；莱希、凯文；卡林·贝尔塔

时序逻辑指导的基于安全模型的强化学习：一种混合系统方法。 （英语） Zbl 1505.93116号

非线性分析。，混合系统。 47，文章ID 101295，23 p.（2023）.
MSC公司：93立方 93C40型 03B44号 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.H.Cohen}等人，《非线性分析》。，混合系统。47，文章ID 101295，23 p.（2023；Zbl 1505.93116）
全文： 内政部
阿南德，马哈地；毗湿奴·穆拉利；阿舒托什·特里维迪；马吉德·扎马尼

随机系统的k-感应势垒证明。 （英语） Zbl 07807720号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第12号论文，第11页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Anand}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第12号论文，第11页（2022；Zbl 07807720）
全文： 内政部
哈达尔·弗兰克尔；莎莱·申瓦尔德

可实现且无上下文的超语言。 （英语） Zbl 1530.68191号

Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370114-130（2022）。
MSC公司：68问题85 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Frenkel}和\textit{S.Sheinvald}，电子。程序。西奥。计算。科学。（EPTCS）370114-130（2022年；Zbl 1530.68191）
全文： arXiv公司 链接
伊曼纽尔·德·安吉利斯；法比奥·菲奥拉万蒂；约翰·加拉赫（John P.Gallagher）。；曼努埃尔五世（Manuel V.Hermenegildo）。；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂

用于程序验证的约束Horn子句的分析和转换。 （英语） Zbl 07776353号

理论与实践。日志。程序。 22，第6期，974-1042（2022）.
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit｛E.De Angelis｝等人，《理论与实践》。日志。程序。22，第6号，974--1042（2022；Zbl 07776353）
全文： 内政部 arXiv公司
OA许可证
拉杰夫·阿鲁尔；苏古曼·班萨尔；奥斯伯特·巴斯塔尼；基绍尔州佐提穆鲁甘

强化学习中转换规范的框架。 （英语） 兹比尔1528.68205

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 604-624 (2022).
MSC公司：60年第68季度 68T05型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}等人，Lect。注释计算。科学。13660、604--624（2022年；Zbl 1528.68205）
全文： 内政部 arXiv公司
哈达尔，弗伦克尔；奥尔纳·格伦伯格；巴特·陈·罗森伯格；莎莱·申瓦尔德

使用正式验证技术自动修复程序。 （英语） Zbl 1528.68079号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 511-534 (2022).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Frenkel}等人，Lect。注释计算。科学。13660511-534（2022年；兹比尔1528.68079）
全文： 内政部
内达·赛德洛伊；费利克斯·克鲁·尼亚克

一类时间自动机的高效定制时钟分配算法。 （英语） Zbl 1528.68200号

利马，卢卡斯（编辑）等人，《形式方法：基础和应用》。第25届巴西研讨会，SBMF 2022，虚拟活动，2022年12月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13768, 3-21 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Saeedloei}和\textit{F.Kluźniak}，Lect。注释计算。科学。13768，3--21（2022；Zbl 1528.68200）
全文： 内政部
简·哈尔特曼；海克·卫尔海姆

过近似和欠近似软件分析之间的信息交换。 （英语） Zbl 1525.68026号

Schlingloff，Bernd-Holger（编辑）等人，《软件工程和形式化方法》。第20届国际会议，SEFM 2022，德国柏林，2022年9月26-30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13550, 37-54 (2022).
MSC公司：68号30 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛J.Haltermann｝和\textit｛H.Wehrheim｝，Lect。注释计算。科学。13550，37-54（2022；Zbl 1525.68026）
全文： 内政部
帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；Raj Aryan阿加瓦尔；阿德瓦伊·戈博莱；S.、Krishna

概率总店铺订单。 （英语） Zbl 1528.68074号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240317-345（2022年）。
MSC公司：68号30 60J20型 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。注释计算。科学。13240317--345（2022年；Zbl 1528.68074）
全文： 内政部 arXiv公司
贝洛·卢伦索（Cláudio）；豪尔赫·索萨·平托

Why3-do：和谐分布式系统证明的方法。 （英语） Zbl 1528.68248号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 114-142 (2022).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Belo Lourenço}和\textit{J.Sousa Pinto}，莱克托。注释计算。科学。13240，114--142（2022；Zbl 1528.68248）
全文： 内政部
张西岳；陈晓红；孙孟

为神经网络建立统一的逻辑框架。 （英语） Zbl 07719847号

Seidl，Helmut（编辑）等人，《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会，格鲁吉亚第比利斯，2022年9月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13572, 442-461 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{X.Zhang}等人，Lect。注释计算。科学。13572、442--461（2022；Zbl 07719847）
全文： 内政部
林多·纳卡尼西；Yoshiaki高田；弘久世奇（Hiroyuki Seki）

确定性自下而上标称树自动机的主动学习。 （英语） Zbl 07719841号

Seidl，Helmut（编辑）等人，《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会，格鲁吉亚第比利斯，2022年9月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13572342-359（2022）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.Nakanishi}等人，Lect。注释计算。科学。13572342--359（2022；Zbl 07719841）
全文： 内政部 arXiv公司
伊莎贝尔·加西亚·孔特雷拉斯；阿里·古芬克尔；豪尔赫·纳瓦斯（Jorge A.Navas）。

指针程序的高效模块化基于SMT的模型检查。 （英语） Zbl 1524.68190号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 227-246 (2022).
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{I.Garcia-Contreras}等人，Lect。注释计算。科学。13790227--246（2022年；Zbl 1524.68190）
全文： 内政部
苏古曼·班萨尔

规范指导强化学习。 （英语） Zbl 1524.68258号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790，3-9（2022）。
MSC公司：68T05型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Bansal}，莱克特。注释计算。科学。13790,3--9（2022年；Zbl 1524.68258）
全文： 内政部
洛科·德尼古拉；卢卡·迪·斯特法诺；奥马尔·因弗索；塞雷内拉·瓦利亚尼

处理代数和鸟群。 （英语） 兹比尔1524.68214

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 512-523 (2022).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.De Nicola}等人，Lect。注释计算。科学。13560512-523（2022年；兹比尔1524.68214）
全文： 内政部
Masaki和加；埃泽奎尔·卡斯特拉诺；萨西内·普鲁克普拉塞特；斯特凡·克里科维茨；Toru Takisaka公司；一郎·哈索

动态屏蔽，用于黑盒环境中的强化学习。 （英语） Zbl 1522.68351号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 25-41 (2022).
MSC公司：60年第68季度 68问题32 65年第68季度 68T05型 90立方厘米 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Waga}等人，Lect。注释计算。科学。13505，25-41（2022；Zbl 1522.68351）
全文： 内政部 arXiv公司
mnesc博士，Isabela；艾丽卡·阿尔布拉汉姆；都铎Jebelean；加博尔·库斯珀；斯特拉图拉特，索林

在课堂上进行自动推理实验。 （英语） Zbl 07691306号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13467, 287-304 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{I.Drámnesc}等人，Lect。注释计算。科学。13467287-304（2022年；兹bl 07691306）
全文： 内政部 哈尔
Hůla，一月；Jakubův，简；米科拉什·亚诺塔；卢卡什库贝

SMT解算器的目标配置。 （英语） Zbl 07691304号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13467, 256-271 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Hůla}等人，Lect。注释计算。科学。13467256-271（2022；Zbl 07691304）
全文： 内政部
伊迪丝·赫玛斯潘德拉；大卫·E·纳瓦兹（David E.Narváez）。

NFA等价的形式化方法：QBF、见证提取和编码验证。 （英语） Zbl 07691303号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13467, 241-255 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{E.Hemaspandra}和\textit{D.E.Narváez}，莱克托。注释计算。科学。13467，241--255（2022；Zbl 07691303）
全文： 内政部
Anthony W·林。；菲利普·吕默

重新检查定期模型。 （英语） Zbl 1522.68332号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 97-114 (2022).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.W.Lin}和\textit{P.吕默}，莱克特。注释计算。科学。13030，97-114（2022；Zbl 1522.68332）
全文： 内政部 arXiv公司
Tsay，Yih-Kuen先生；莫舍·瓦尔迪。

从线性时序逻辑到Büchi自动机：早期和简单的原理。 （英语） Zbl 1522.68287号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 8-40 (2022).
MSC公司：65年第68季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{Y.-K.Tsay}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。13030，8--40（2022；Zbl 1522.68287）
全文： 内政部
马蒂斯·尼哈吉；安妮·雷姆克

了解到电网便利性不会影响不确定性存在时的恢复能力。 （英语） 兹伯利07643441

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。2022年9月13日至15日，第20届国际会议，FORMATS 2022，波兰华沙。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 298-306 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Niehage}和\textit{A.Remke}，莱克特。注释计算。科学。13465，298--306（2022；Zbl 07643441）
全文： 内政部
查里斯·埃利夫特里亚迪斯；尼古拉斯·凯卡托斯；Katsaros，Panagiotis公司；斯塔夫罗斯·特里帕基斯

使用SMT求解器进行神经网络等价性检查。 （英语） Zbl 07643438号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。2022年9月13日至15日，第20届国际会议，FORMATS 2022，波兰华沙。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 237-257 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{C.Eleftheriadis}等人，Lect。注释计算。科学。13465，237--257（2022；Zbl 07643438）
全文： 内政部 arXiv公司
帕特里夏·鲍耶；保罗·加斯丁；弗雷德里克·赫布雷托；奥坎·桑库尔；Srivathsan，B。

时间自动机的分区验证：外推、模拟和下一步？ （英语） Zbl 07643426号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。2022年9月13日至15日，第20届国际会议，FORMATS 2022，波兰华沙。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 16-42 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。13465，16-42（2022；Zbl 07643426）
全文： 内政部 arXiv公司
弗洛里安·弗洛恩；吉尔根·吉斯尔

用证明非终止和运行时下限陆军部（系统描述）。 （英语） 兹伯利07628217

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 712-722 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{F.Frohn}和\textit{J.Giesl}，莱克特。注释计算。科学。13385、712--722（2022；Zbl 07628217）
全文： 内政部
保罗·费利；马可·蒙塔利；莎拉·温克勒

使用算法对数据软件动态系统进行CTL*模型检查。 （英语） Zbl 07628180号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 36-56 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{P.Felli}等人，Lect。注释计算。科学。13385，36-56（2022；Zbl 07628180）
全文： 内政部 arXiv公司
科宁，诺琳；雷蒙·达赫塞特；伯恩德·芬克贝纳；哈达尔·弗兰克尔；克里斯托弗·哈恩；汤姆·霍拉克；尼古拉斯·梅茨格；朱利安·西伯

解释超属性违规。 （英语） Zbl 1514.68127号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 407-429 (2022).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Coenen}等人，Lect。注释计算。科学。13371407--429（2022年；Zbl 1514.68127）
全文： 内政部 arXiv公司
普兰提克·查特吉；杰德普辛·麦达；阿卡什·拉尔；罗伊，苏巴吉特

有界模型检查的验证引导下的欠近似加宽。 （英语） Zbl 1514.68126号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 304-324 (2022).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Chatterjee}等人，Lect。注释计算。科学。13371、304--324（2022；Zbl 1514.68126）
全文： 内政部
费边·鲍尔·马尔夸特；大卫·博埃蒂乌斯；斯特凡·洛伊；克里斯蒂安·席林

SpecRepair：深度神经网络引导安全修复的反例。 （英语） Zbl 1514.68119号

Legunson，Owolabi（编辑）等人，《模型检查软件》。第28届国际研讨会，SPIN 2022，虚拟活动，2022年5月21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13255，79-96（2022）。
MSC公司：60年第68季度 68T07型
PDF格式BibTeX公司 XML格式引用
\textit{F.Bauer-Marquart}等人，Lect。注释计算。科学。13255、79-96（2022年；Zbl 1514.68119）
全文： 内政部 arXiv公司
彼得·库切拉

学习传播完整公式。 （英语） Zbl 1522.68468号

Schaus，Pierre（编辑），约束编程、人工智能和运筹学的集成。第19届国际会议，CPAIOR 2022，美国加利福尼亚州洛杉矶，2022年6月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13292, 214-231 (2022).
MSC公司：68T05型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{P.Kučera}，莱克特。注释计算。科学。13292，214--231（2022；Zbl 1522.68468）
全文： 内政部
内达·赛德洛伊；费利克斯·克鲁·尼亚克

解开时间自动机的图形以减少时钟的数量。 （英语） Zbl 1502.68167号

ter Beek，Maurice H.（编辑）等，《综合形式方法》。2022年6月7日至10日，第17届国际会议，IFM 2022，瑞士卢加诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13274, 168-187 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Saeedloei}和\textit{F.Kluźniak}，Lect。注释计算。科学。13274168-187（2022年；Zbl 1502.68167）
全文： 内政部
玛丽·克里斯汀·雅各布斯

在值分析中重用谓词精度。 （英语） Zbl 1502.68079号

ter Beek，Maurice H.（编辑）等，《综合形式方法》。2022年6月7日至10日，第17届国际会议，IFM 2022，瑞士卢加诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13274, 63-85 (2022).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\文本｛M.-C.雅各布｝，勒克特。注释计算。科学。13274，63-85（2022；兹比尔1502.68079）
全文： 内政部
路易斯·丹尼斯（Louise A.Dennis）。

验证自主系统。 （英语） Zbl 1502.68181号

ter Beek，Maurice H.（编辑）等，《综合形式方法》。2022年6月7日至10日，第17届国际会议，IFM 2022，瑞士卢加诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13274, 3-17 (2022).
MSC公司：60年第68季度 93C85号
PDF格式BibTeX公司 XML格式引用
\textit{L.A.Dennis}，莱克特。注释计算。科学。13274，3-17（2022；Zbl 1502.68181）
全文： 内政部
Masuda、Masahiro；Yukiyoshi县Kameyama

统一程序生成和验证：数论变换的案例研究。 （英语） Zbl 07570118号

Hanus，Michael（编辑）等人，《函数和逻辑编程》。第16届国际研讨会，FLOPS 2022，日本京都，2022年5月10日至12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13215133-151（2022）。
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.Masuda}和\textit{Y.Kameyama}，莱克特。注释计算。科学。13215、133--151（2022；Zbl 07570118）
全文： 内政部
伊丽莎白·波尔格林；安德鲁·雷诺兹；Sanjit A.Seshia。

可满足性与合成模预言。 （英语） 兹比尔1498.68082

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 263-284 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Polgreen}等人，Lect。注释计算。科学。13182、263--284（2022年；Zbl 1498.68082）
全文： 内政部 arXiv公司
亚历山德罗·阿巴特；丹尼尔·艾哈迈德；亚历克·爱德华兹；米尔科·贾科布；安德烈亚·佩鲁福

FOSSIL：使用神经网络对Lyapunov函数和屏障证书进行形式化合成的软件工具。 （英语） Zbl 07807697号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Abate}等人，in：《第24届ACM混合系统国际会议论文集：计算与控制》，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2021；Zbl 07807697）
全文： 内政部
莫汉·丹塔姆；阿默里·波利

连续时间线性时不变系统可达性的判定。 （英语） Zbl 07807688号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第15号文件，第12页（2021）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Dantam}和\textit{A.Pouly}，in：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第15号论文，第12页（2021；Zbl 07807688）
全文： 内政部 arXiv公司 哈尔
内森·亨特；内森·富尔顿；萨拉·马格里亚坎；Hoang，Trong Nghia村；Das、Subhro；阿曼多·索拉勒扎马

端到端强化学习的可验证安全探索。 （英语） 兹伯利07807687

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第14号论文，第11页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{N.Hunt}等人，在：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS物联网周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第14号论文，第11页（2021；Zbl 07807687）
全文： 内政部 arXiv公司
斯特拉·西米奇；奥马尔·因弗索；米尔科·特里巴斯通

定点算法下不连续性误差的位精度验证。 （英语） Zbl 1522.68163号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 443-460 (2021).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Simić}等人，Lect。注释计算。科学。13085、443--460（2021；Zbl 1522.68163）
全文： 内政部
罗伯特·J·科尔文。

并行顺序组合和硬件弱内存模型。 （英语） Zbl 1522.68147号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 201-221 (2021).
MSC公司：68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.J.Colvin}，莱克特。注释计算。科学。13085，201-221（2021；Zbl 1522.68147）
全文： 内政部
Johannes Bechberger；亚历山大·维格尔

无界递归信息泄漏的上限计算。 （英语） Zbl 1522.68145号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 160-177 (2021).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Bechberger}和\textit{A.Weigl}，莱克特。注释计算。科学。13085、160--177（2021；Zbl 1522.68145）
全文： 内政部
洪伟江；陈振邦；杜一德；王，季

未解释程序的基于跟踪抽象的验证。 （英语） Zbl 1521.68078号

Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047, 545-562 (2021).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.Hong}等人，Lect。注释计算。科学。13047、545--562（2021；Zbl 1521.68078）
全文： 内政部
多龙·贝利德

通过自动机学习进行逆向工程。 （英语） Zbl 1520.68077号

Bartocci，Ezio（编辑）等人，《外层空间的形式方法》。纪念克劳斯·哈维隆德65岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。13065, 182-192 (2021).
MSC公司：60年第68季度 68问题32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Peled}，莱克特。注释计算。科学。13065、182--192（2021；Zbl 1520.68077）
全文： 内政部
马尔科·萨利泽；马丁·兰格

即使对于最简单的神经网络，可达性也是NP完全的。 （英语） Zbl 07670978号

Bell，Paul C.（编辑）等人，《可达性问题》。第15届国际会议，RP 2021，英国利物浦，2021年10月25-27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13035, 149-164 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛M.Sälzer｝和\textit｛M.Lange｝，Lect。注释计算。科学。13035149-164（2021年；兹bl 07670978）
全文： 内政部 arXiv公司
刘远东赛勒斯；庞成斌；丹尼尔·迪特施；埃里克·科斯金；Le，Ton-Chanh公司；乔治·波托卡利迪斯；徐军

证明位向量程序和反编译二进制文件的LTL属性。 （英语） Zbl 1520.68076号

哦，Hakjoo（编辑），编程语言和系统。第19届亚洲研讨会，APLAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。130088285-304（2021年）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.C.Liu}等人，Lect。注释计算。科学。13008，285--304（2021；Zbl 1520.68076）
全文： 内政部 arXiv公司
刘武牛；何青；李永明

有限内存调度下对可能决策过程的计算树逻辑模型检查。 （英语） Zbl 1511.68162号

蔡志平（主编）等，《理论计算机科学》。2021年7月23日至25日，中国银川，NCTCS 2021第39届全国会议。修改选定的论文。新加坡：斯普林格。Commun公司。计算。信息科学。1494, 75-88 (2021).
MSC公司：60年第68季度 68层37
PDF格式BibTeX公司 XML格式引用
\textit{W.Liu}等人，Commun。计算。信息科学。1494，75-88（2021；Zbl 1511.68162）
全文： 内政部
Timm，零；约苏阿·博塔

用于资源分配的多智能体系统的模型检查和策略综合。 （英语） Zbl 1498.68343号

Campos，Sérgio（编辑）等人，《形式方法：基础和应用》。第24届巴西研讨会，SBMF 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13130, 53-69 (2021).
MSC公司：68T42型 03B70号 60年第68季度 91立方厘米32
PDF格式BibTeX公司 XML格式引用
\textit{N.Timm}和\textit{J.Botha}，莱克特。注释计算。科学。13130，53-69（2021；Zbl 1498.68343）
全文： 内政部
福斯汀·阿希什基耶；若泽·伊格纳西奥·雷格诺·贾拉博；克里斯滕森，拉尔斯·迈克尔；沃尔克·斯托尔茨

基于BDD的MC/DC测试用例生成。 （英语） Zbl 1498.68290号

秦胜超（主编）等，可靠软件工程。理论、工具和应用。第七届国际研讨会，SETTA 2021，中国北京，2021年11月25-27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13071, 178-197 (2021).
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{F.Ahishakiye}等人，Lect。注释计算。科学。13071178-197（2021年；兹比尔1498.68290）
全文： 内政部
穆拉德·阿洪多夫；费德里科·莫拉；尼克·冯；文森特·惠；玛莎·契契克

通过在程序片上赌博进行验证。 （英语） Zbl 1497.68282号

Hou，Zhe（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 266-282 (2021).
MSC公司：60年第68季度 68号30 65年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Akhundov}等人，Lect。注释计算。科学。12971，266--282（2021；Zbl 1497.68282）
全文： 内政部
迪维扬贾利夏尔马；沙尔马，苏博德

发布获取并发的线程模块分析。 （英语） Zbl 1497.68123号

Drágoi，Cezara（编辑）等人，《静态分析》。第28届国际研讨会，SAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12913, 384-404 (2021).
MSC公司：68号30 68甲19 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Sharma}和\textit{S.Sharma}Lect。注释计算。科学。12913，384--404（2021；Zbl 1497.68123）
全文： 内政部 arXiv公司
朱利安·布莱恩；劳雷·贡诺德；戴维·莫尼奥

数据抽象：处理数据结构的程序验证的通用框架。 （英语） Zbl 1497.68108号

Drágoi，Cezara（编辑）等人，《静态分析》。第28届国际研讨会，SAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12913215-235（2021年）。
MSC公司：68号30 68第05页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Braine}等人，Lect。注释计算。科学。12913、215——235（2021年；Zbl 1497.68108）
全文： 内政部 哈尔
马雷克·查卢帕；斯特雷切克，简

循环折叠的向后符号执行。 （英语） Zbl 1497.68109号

Drágoi，Cezara（编辑）等人，《静态分析》。第28届国际研讨会，SAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12913, 49-76 (2021).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Chalupa}和\textit{J.Strejček}，莱克特。注释计算。科学。12913，49-76（2021；Zbl 1497.68109）
全文： 内政部
佩琳娜·托尔马赫；李毅；林尚伟；刘，杨

可组合DeFi协议的形式化分析。 （英语） Zbl 1492.91461号

Bernhard，Matthew（编辑）等人，《金融加密和数据安全》。FC 2021国际研讨会。Codecfin、DeFi、VOTING和WTSC，虚拟活动，2021年3月5日。修改选定的论文。柏林：斯普林格。莱克特。注释计算。科学。12676, 149-161 (2021).
MSC公司：91G99型 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{P.Tolmach}等人，Lect。注释计算。科学。12676、149--161（2021年；Zbl 1492.91461）
全文： 内政部 arXiv公司
Junges，塞巴斯蒂安；詹森，尼尔斯；Sanjit A.Seshia。

在POMDP中实施几乎安全的可达性。 （英语） Zbl 1493.68213号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 602-625 (2021).
MSC公司：60年第68季度 87年第68季度 68T20型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.Junges}等人，Lect。注释计算。科学。12760、602--625（2021；Zbl 1493.68213）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件