×

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

并发游戏的激励工程。 （英语） 兹伯利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）
全文： 内政部
鲁亚·卡拉古勒;尼科斯·阿雷奇加;最好的，安德鲁;乔纳森·迪卡斯特罗;内克米耶·奥扎伊

海报摘要：自动驾驶汽车的安全保障偏好学习方法。 （英语） 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公司;苏菲·海瑟特;萨代赫·苏贾尼

海报摘要：参数随机系统的数据驱动的正确设计控制。 （英语） Zbl 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：通过随机耦合关系进行合成。 （英语） 兹伯利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）
全文： 内政部
彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴;尼古拉·延森·乌尔里克

在依存关系图验证中消除分离区域。 （英语） Zbl 07750361号

Caltais，Georgiana（编辑）等人，《模型检查软件》。第29届国际研讨会，2023年4月26日至27日，法国巴黎，SPIN 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第13872页、第163-179页（2023年）。
MSC公司：60年第68季度 03B44号 68问题85 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Jensen}等人，Lect。注释计算。科学。13872，163-179（2023；Zbl 07750361）
全文： 内政部
Fernández Duque，大卫;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物联网周的一部分，意大利米兰和虚拟，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物联网周的一部分，意大利米兰和虚拟，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，哈达斯

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

第25届ACM混合系统国际会议论文集：计算和控制，HSCC 2022，CPS物联网周的一部分，意大利米兰和虚拟，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物联网周的一部分，意大利米兰和虚拟，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物联网周的一部分，意大利米兰和虚拟，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 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号

Patricia Bouyer等人，《软件科学和计算结构基础》。第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）
全文： 内政部
胡安·巴勃罗·阿奎莱拉;马丁·迪盖兹;Fernández Duque，大卫;布雷特·麦克莱恩

时间和哥德尔：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公司
小野，Hiroakira;胜彦三野

双直觉时态逻辑的解析切割和Mints对称插值方法。 （英语） Zbl 07668117号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。601-623 (2022).
MSC公司：05年3月 03B20型 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{H.Ono}和\textit{K.Sano}，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。601-623（2022；Zbl 07668117）
罗宾·赫希;布雷特·麦克莱恩

EXPTIME-高维闵可夫斯基时空的硬度。 （英语） Zbl 07668112号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。491-505 (2022).
MSC公司：03B44号 2017年第68季度 83A05号
PDF格式BibTeX公司 XML格式引用
\textit{R.Hirsch}和\textit{B.McLean}，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。491--505（2022；Zbl 07668112）
全文： arXiv公司
阿尔弗雷多·布里耶扎;佩雷斯·德·古兹曼，因马卡拉达;尤斯特·吉内尔，安东尼奥

Galois连接的多模式逻辑。 （英语） Zbl 07668096号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。155-176 (2022).
MSC公司：03B45号 03B44号 2015年1月6日
PDF格式BibTeX公司 XML格式引用
\textit{A.Burrieza}等人，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。155--176（2022；Zbl 07668096）
孟一鸣;刘军

用于随机系统验证的稳健完整有限状态抽象。 （英语） Zbl 07643429号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 80-97 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{Y.Meng}和\textit{J.Liu}，Lect。注释计算。科学。13465，80-97（2022；Zbl 07643429）
全文： 内政部 arXiv公司
托马斯·莫勒·格罗森;肖恩·考夫曼;金·古德斯特兰·拉森;马丁·齐默尔曼

监视定时属性（已重新访问）。 （英语） Zbl 07643427号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 43-62 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.M.Grosen}等人，Lect。注释计算。科学。13465，43-62（2022；Zbl 07643427）
全文： 内政部 arXiv公司
弗拉基米尔·基亚特金。;安娜·V·科舍列娃。

基于\（mathbb{Z}\）的时态多值逻辑中的可满足性。 （英语） Zbl 07503901号

J.西布。联邦大学数学系。物理学。 第15期，第1期，第56-74页（2022年）.
MSC公司：03B50号 03B44号 03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit｛V.R.Kiyatkin｝和\textit｛A.V.Kosheleva｝，J.Sib。联邦大学数学系。物理学。15，编号1，56--74（2022；Zbl 07503901）
全文： 内政部 MNR公司
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉

同质性假设下子区间逻辑的可满足性和模型检验。 （英语） Zbl 07471713号

日志。方法计算。科学。 18，第1号，第24号文件，第25页（2022）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，日志。方法计算。科学。18，第1号，第24号论文，第25页（2022；Zbl 07471713）
全文： arXiv公司 链接
安德烈·维尔利诺

区间上的可满足性、格、时态逻辑和约束逻辑规划。 （英语） Zbl 07469222号

Düntsch，Ivo（ed.）等人，阿拉斯代尔·厄克哈特（Alasdair Urquhart），关于非经典和代数逻辑以及证明复杂性。查姆：斯普林格。Outst公司。控制日志。22, 521-536 (2022).
MSC公司：03Bxx号 03Gxx公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Vellino}，Outst（输出）。控制日志。22、521--536（2022；Zbl 07469222）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件