×

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

最新 引文 关联
斯蒂芬·伊戈列维奇·巴什马科夫;基里尔·亚历克桑德罗维奇·斯梅利克

多代理计算树逻辑的关系版本\（\mathcal{CTLK}\）。 （俄语。英文摘要） Zbl 07832085号

伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 47, 78-92 (2024).
MSC公司：03B44号 03B42号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛S.I.Bashmakov｝和\textit｛K.A.Smelykh｝，Izv。伊尔库茨克。戈斯。州立大学。材料47、78--92（2024；Zbl 07832085）
全文： 内政部 链接
马哈提·阿南德;阿波法兹·拉瓦伊;马吉德·扎马尼

随机系统网络的控制屏障证书的合成，针对\（\omega \）-常规规范。 （英语） Zbl 07812047号

非线性分析。，混合系统。 51，文章ID 101427，20 p.（2024）.
MSC公司：93B50个 93E03型 93C55美元 93B70型
PDF格式BibTeX公司 XML格式引用
\textit{M.Anand}等人，《非线性分析》。，混合系统。51，文章ID 101427，20 p.（2024；Zbl 07812047）
全文： 内政部 arXiv公司
大卫·海兰德;朱利安·古铁雷斯;迈克尔·伍尔德里奇

并发游戏的激励工程。 （英语） Zbl 07810626号

Verbrugge，Rineke（编辑），《第十九届理性与知识理论方面会议记录》，TARK，英国牛津，2023年6月28日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）379344-358（2023年）。
MSC公司：91A20型 91B43型 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{D.Hyland}等人，《电子》。程序。西奥。计算。科学。（EPTCS）379，344--358（2023；Zbl 07810626）
全文： 内政部 arXiv公司
坦马·坎代特;阿尼鲁德·钱德拉特;瓦尔斯坦·巴普蒂斯塔;朱利亚·佩德里利;乔治·费内科斯

演示摘要：在微软飞行模拟器上通过伪造分析CPS安全性。 （英语） Zbl 07807971号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第30号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{T.Khandait}等人，in：第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第30号论文，第2页（2023；Zbl 07807971）
全文： 内政部
鲁亚·卡拉古勒;尼科斯·阿雷奇加;最好的，安德鲁;乔纳森·迪卡斯特罗;内克米耶Ozay

海报摘要：自动驾驶汽车的安全保障偏好学习方法。 （英语） Zbl 07807965号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第24号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{R.Karagulle}等人，in：第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第24号论文，第2页（2023；Zbl 07807965）
全文： 内政部
奥利弗·舍恩;Van Huijgevoort，Birgit公司;苏菲·海瑟特;萨代赫·苏贾尼

海报摘要：参数随机系统的数据驱动的正确设计控制。 （英语） 兹伯利07807963

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第22号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{O.Schön}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第22号论文，第2页（2023；Zbl 07807963）
全文： 内政部 链接
阿尼鲁德·钱德拉特;托马斯·埃尔南德斯·阿科斯塔;坦马·坎代特;朱利亚·佩德里利;乔治·费内科斯

秘密攻击形式化为伪造CPS安全性的STL公式。 （英语） Zbl 07807956号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第15号文件，第8页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Chandratre}等人，in：第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第15号论文，第8页（2023；Zbl 07807956）
全文： 内政部
Van Huijgevoort，Birgit公司;奥利弗·舍恩;萨代赫·苏贾尼;苏菲·海瑟特

SySCoRe：通过随机耦合关系进行合成。 （英语） Zbl 07807954号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第13号论文，第11页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{B.Van Huijgevoort}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。论文编号13，第11页（2023；Zbl 07807954）
全文： 内政部 arXiv公司
古斯塔沃·卡多纳。;迪沙·卡梅尔;克里斯蒂安·瓦西莱

加权信号时序逻辑控制综合的混合整数线性规划方法。 （英语） Zbl 07807944号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第3号文件，第12页（2023）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.A.Cardona}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第3号论文，第12页（2023；Zbl 07807944）
全文： 内政部
Lech T.Polkowski。

逻辑：计算机科学家的参考书。第二次修订和扩大版，之前以计算机和数据科学逻辑和人工智能的标题出版。 （英语） Zbl 1529.68008号

智能系统参考库245.查姆：施普林格（ISBN 978-3-031-42033-7/hbk；978-3-331-42036-8/pbk；988-3-031-142034-4/电子书）。xxxii，461页。(2023).
MSC公司：68-01 03-01 03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{L.T.Polkowski}，《逻辑：计算机科学家参考书》。第二次修订和扩大版，之前以计算机和数据科学逻辑和人工智能的标题出版。查姆：斯普林格（2023；Zbl 1529.68008）
全文： 内政部
亚历山大·阿提基斯（编辑）;弗洛里安·布鲁斯（编辑）;卢克·亨斯伯格（编辑）

第30届时间表征和推理国际研讨会，《时代》2023年，NCSR Demokritos，希腊雅典，2023年9月25-26日。 （英语） Zbl 1522.68013号

LIPIcs–莱布尼茨国际信息学会议录278.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆（ISBN 978-3-95977-298-3）。xiv，22篇文章，非连续页面，仅电子版，开放获取（2023）。
MSC公司：68-06 03B44号 60年第68季度 68T27型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Artikis}（ed.）等人，第30届时间表征与推理国际研讨会，《时代》2023年，NCSR Demokritos，希腊雅典，2023年9月25-26日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2023；Zbl 1522.68013）
全文： 内政部 链接
蒙特塞拉特赫莫;帕基·卢西奥;塞萨尔·桑切斯

安全规范可实现性表。 （英语） Zbl 1529.68159号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 495-513 (2023).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Hermo}等人，Lect。注释计算。科学。14000，495--513（2023；Zbl 1529.68159）
全文： 内政部 arXiv公司
阿米罗尚Hoseinpour Dehkordi;马吉德·阿里扎德;阿里·莫瓦加尔

线性时态公告逻辑：多分类器知识推理的新视角。 （英语） Zbl 1517.03012号

牛市。伊朗。数学。Soc公司。 49，第2期，第12号论文，21页（2023年）.
审核人：埃里克·马丁（悉尼）
MSC公司：03B42号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Hoseinpour Dehkordi}等人，公牛。伊朗。数学。Soc.49，No.2，论文No.12，21 p.（2023；Zbl 1517.03012）
全文： 内政部 arXiv公司
科恩，马克斯·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）
全文： 内政部
大卫·费尔南德斯·杜克;Montacute，Yoáv

动态康托导数逻辑。 （英语） Zbl 07830375号

Manea，Florin（编辑）等人，第30届EACSL计算机科学逻辑年会，CSL 2022，德国哥廷根，虚拟会议，2022年2月14-19日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。216，第19条，第17页（2022年）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Fernández-Duque}和\textit{Y.Montacute}，LIPIcs——莱布尼茨国际程序。通知。216，第19条，第17页（2022；Zbl 07830375）
全文： 内政部
斯蒂芬·巴什马科夫。;Zvereva，Tatyana Yu。

具有通用模态的线性阶梯时序多智能体逻辑的统一性和有限模型性质。 （英语） 兹伯利07811396

牛市。第节。日志。，大学后勤部。 51，编号3，345-361（2022）.
MSC公司：03B44号 03B42号 03A05号 03B45号 03B70号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{S.I.Bashmakov}和\textit{T.Yu.Zvereva}，公牛。第节。日志。，大学后勤部。51，编号3，345--361（2022；Zbl 07811396）
全文： 内政部
阿尼鲁德·普兰克;乔蒂莫·德斯穆赫;尼古拉伊迪斯、斯特凡诺斯

海报摘要：从时序逻辑的演示中学习。 （英语） Zbl 07807737号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第29号论文，第2页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Puranic}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第29号论文，第2页（2022；Zbl 07807737）
全文： 内政部
胡萨姆·阿巴斯;理查德·佩弗莱

时序逻辑的多分辨率分析。 （英语） Zbl 07807725号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第17号论文，第10页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{H.Abbas}和\textit{R.Pelphrey}，in：第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第17号论文，第10页（2022；Zbl 07807725）
全文： 内政部
盖·谢尔;萨德拉·萨德拉迪尼;俄罗斯·特德雷克;Kress-Gazit，哈达斯

具有信号时序逻辑规范的随机系统概率验证的椭圆切片采样。 （英语） Zbl 07807719号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第11号论文，第11页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.Scher}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第11号论文，第11页（2022；Zbl 07807719）
全文： 内政部 arXiv公司
林德曼，拉尔斯;阿莱娜·罗迪奥诺娃;乔治·帕帕斯

随机信号的时间鲁棒性。 （英语） Zbl 07807718号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第10号论文，第11页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{L.Lindemann}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第10号论文，第11页（2022；Zbl 07807718）
全文： 内政部 arXiv公司
毛元奇;白塞州阿基姆;皮埃尔·洛伊·卡洛什;亚历山大·查波托

用信号时序逻辑规范实现最优控制的逐次凸化。 （英语） Zbl 07807717号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第9号论文，第7页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{Y.Mao}等人，《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第9号论文，第7页（2022；Zbl 07807717）
全文： 内政部 链接
劳拉·博泽利;阿德里亚诺·佩隆

无限字上的参数区间时序逻辑。 （英语） Zbl 1530.68155号

Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）37097-113（2022）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}和\textit{A.Peron}，电子。程序。西奥。计算。科学。（EPTCS）370、97--113（2022年；Zbl 1530.68155）
全文： arXiv公司 链接
乌迪·博克;卡罗琳娜·莱赫蒂宁;所罗门·西克特

关于自动机到线性时序逻辑的转换。 （英语） Zbl 07793027号

Patricia Bouyer等人，《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分，于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13242, 140-160 (2022).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{U.Boker}等人，Lect。注释计算。科学。13242，140-160（2022；Zbl 07793027）
全文： 内政部 arXiv公司
达纳州安格鲁因;蒂莫斯·安东尼奥普洛斯;达纳·菲斯曼;内文·乔治

使用mod 2多重自动机表示无限单词的正则语言。 （英语） Zbl 07793020号

Bouyer，Patricia（编辑）等人，《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分，于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13242, 1-20 (2022).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{D.Angluin}等人，Lect。注释计算。科学。13242，1--20（2022；Zbl 07793020）
全文： 内政部
拉杰夫·阿鲁尔;苏古曼·班萨尔;奥斯伯特·巴斯塔尼;基绍尔州佐提穆鲁甘

强化学习中转换规范的框架。 （英语） Zbl 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公司
米罗斯拉夫·乔迪尔;安东·库切拉;简·Křetínsk

定量概率CTL的可满足性：迎接挑战。 （英语） 兹比尔1528.68216

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660364-387（2022年）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Chodil}等人，Lect。注释计算。科学。13660364--387（2022年；Zbl 1528.68216）
全文： 内政部
哈维尔·埃斯帕尔扎;鲁宾·鲁比奥;所罗门·西克特

线性时序逻辑规范化的简单重写系统。 （英语） Zbl 1528.68159号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 208-227 (2022).
MSC公司：2012年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}等人，Lect。注释计算。科学。13660208-227（2022年；Zbl 1528.68159）
全文： 内政部 arXiv公司
佩德罗·卡巴拉尔

时态ASP：从逻辑基础到实际使用泰林戈. （英语） Zbl 1524.68351号

Šimkus，Mantas（编辑）等人，推理网络。声明式人工智能。2021年9月8日至15日，比利时鲁汶，第17所2021年国际暑期学校。辅导讲座。查姆：斯普林格。莱克特。注释计算。科学。13100, 94-114 (2022).
MSC公司：68T27型 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{P.Cabalar}，莱克特。注释计算。科学。13100，94-114（2022；Zbl 1524.68351）
全文： 内政部
马丁·范策尔

寻求密集时间度量时序逻辑的充分语义基础。 （英语） Zbl 1524.68188号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 201-212 (2022).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Fränzle}，莱克特。注释计算。科学。13560，201--212（2022；Zbl 1524.68188）
全文： 内政部
克里斯特尔·拜尔;克莱门斯·杜伯斯拉夫;弗洛里安·芬克;西蒙·扬奇;雅各布皮里鲍尔;罗宾·齐梅克

操作因果关系——必要且充分必要。 （英语） Zbl 1524.68185号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 27-45 (2022).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。13560，27-45（2022；Zbl 1524.68185）
全文： 内政部
胡安·巴勃罗·阿奎莱拉;马丁·迪盖兹;大卫·费尔南德斯·杜克;布雷特·麦克莱恩

时间和哥德尔：PSPACE中的模糊时间推理。 （英语） Zbl 07691313号

Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13468, 18-35 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.P.Aguilera}等人，Lect。注释计算。科学。13468，18-35（2022；Zbl 07691313）
全文： 内政部 arXiv公司
蔡义权;莫舍·瓦尔迪。

从线性时序逻辑到Büchi自动机：早期和简单的原理。 （英语） 兹比尔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｝，Lect。注释计算。科学。13030，8--40（2022；Zbl 1522.68287）
全文： 内政部
奥尔德罗格（Ernst-Rüdiger Olderog）;伯恩哈德·斯特芬;易、王

模型检查、综合和学习。 （英语） Zbl 1522.68339号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 1-7 (2022).
MSC公司：60年第68季度 68问题32 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.-R.Olderog}等人，Lect。注释计算。科学。13030，1--7（2022；Zbl 1522.68339）
全文： 内政部
马诺利斯皮茨卡利斯;阿列克谢·利西萨;罗珊

瞬时和持续时间现象的表示和处理。 （英语） Zbl 1521.68063号

De Angelis，Emanuele（编辑）等，基于逻辑的程序合成和转换。第31届国际研讨会，2021年9月7日至8日，爱沙尼亚塔林，LOPSTR 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13290, 135-156 (2022).
MSC公司：2010年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Pitsikalis}等人，Lect。注释计算。科学。13290，135-156（2022；Zbl 1521.68063）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件