×

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

最新的 引文 关联
高，晶晶；E.M.帕里利纳。

意见验证矩最优选择的多智能体系统中的意见动力学。 （英语。俄文原件） Zbl 07819917号

多克。数学。 108，补遗1，S75-S85（2023）; Mat.Teor翻译。伊格尔·普里洛日。14，第4期，3-23页（2022年）。
MSC公司：91天30分
PDF格式BibTeX公司 XML格式引用
\textit{J.Gao}和\textit{E.M.Parilina}，Dokl。数学。108，S75-S85（2023；Zbl 07819917）；Mat.Teor翻译。伊格尔·普里洛日。14、第4、3--23号（2022年）
全文： 内政部
鲁本·拉波尔；莫里斯·布吕诺格；马克·德内克

公平博弈求解算法的论证和重构。 （英语） Zbl 1529.68160号

Lopez-Garcia，Pedro（ed.）等人，《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13160, 170-187 (2023).
MSC公司：60年第68季度 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{R.Lapauw}等人，Lect。票据计算。科学。13160170-187（2023年；兹比尔1529.68160）
全文： 内政部 arXiv公司 链接
博卡莱蒂，S。；德莱利斯，P。；德尔·杰尼奥，C.I。；Alfaro-Bittner，K。；克里亚多，R。；南卡罗来纳州贾兰。；罗曼斯，M。

具有高阶相互作用的网络的结构和动力学。 （英语） Zbl 1523.81029号

物理学。众议员。 1018, 1-64 (2023).
MSC公司：81页第45页 68个M12 81伏05 05年4月15日 82立方32 91天30分 68号30 05C15号 81-02 00A06号
PDF格式BibTeX公司 XML格式引用
\textit{S.Boccaletti}等人，《物理学》。代表1018，1-64（2023；Zbl 1523.81029）
全文： 内政部
杰雷米·柯尼格

在范畴代数中建立游戏语义。 （英语） Zbl 1530.68154号

Kishida，Kohei（编辑），《2021年第四届应用范畴理论国际会议论文集》，ACT 2021，英国剑桥，2021年7月12-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）372368-383（2022）。
MSC公司：第68季度55 18 C50 68号30 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{J.Koenig}，电子。程序。西奥。计算。科学。（EPTCS）372368-383（2022年；Zbl 1530.68154）
全文： arXiv公司 链接
雷纳托·阿坎波拉；卢卡·盖蒂；尼古拉·吉甘特；Angelo蒙塔纳里；瓦伦蒂诺·皮科蒂

基于时间线的游戏的控制器合成。 （英语） Zbl 1530.68238号

Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370、131-146（2022）。
MSC公司：68T20型 60年第68季度 91A99型
PDF格式BibTeX公司 XML格式引用
\textit{R.Acampora}等人，《电子》。程序。西奥。计算。科学。（EPTCS）370、131--146（2022年；Zbl 1530.68238）
全文： arXiv公司 链接
皮埃尔·甘蒂（编辑）；黛拉·莫妮卡，达里奥（编辑）

第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21-23日。 （英语） Zbl 1522.68028号

理论计算机科学电子论文集（EPTCS）370.滑铁卢：开放出版协会（OPA）。第228页。，仅电子化、开放存取（2022年）。
MSC公司：68-06 65年第68季度 60年第68季度 91A80型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit｛P.Ganty｝（编辑）和\textit｛D.Della Monica｝（编辑），第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21-23日。滑铁卢：开放出版协会（OPA）（2022；Zbl 1522.68028）
全文： 内政部 arXiv公司 链接
乔治·巴奇；乔瓦尼·巴奇；马蒂亚斯·克劳斯·詹森；Larsen，Kim G。

凸晶格方程组。 （英语） Zbl 1528.68206号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13660, 438-455 (2022).
MSC公司：60年第68季度 2010年第68季度 87年第68季度 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，Lect。票据计算。科学。13660438--455（2022年；Zbl 1528.68206）
全文： 内政部
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；加布里埃尔·桑托斯

基于回合的随机博弈的符号验证和策略综合。 （英语） Zbl 1528.68229号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13660, 388-406 (2022).
MSC公司：60年第68季度 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。票据计算。科学。13660388--406（2022年；Zbl 1528.68229）
全文： 内政部 arXiv公司
丹尼尔·豪斯曼；尼尔·皮特曼

基于树自动机的（mu）演算可满足性检验综述。 （英语） Zbl 1528.68185号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13660, 228-251 (2022).
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{D.Hausmann}和\textit{N.Piterman}，莱克特。票据计算。科学。13660228--251（2022年；Zbl 1528.68185）
全文： 内政部 arXiv公司
穆克西特·阿齐姆；亚历山大·伊万杰里迪斯；简·Křetínsk；亚历山大·斯利文斯基；马克西米利安·威宁格

简单随机对策的乐观和拓扑值迭代。 （英语） Zbl 1522.68295号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13505, 285-302 (2022).
MSC公司：60年第68季度 91A15型 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Azeem}等人，Lect。票据计算。科学。13505，285--302（2022；Zbl 1522.68295）
全文： 内政部 arXiv公司
达米安·库皮耶夫斯基；沃伊切赫·贾姆罗加；乌卡斯马士科；乌卡斯·米库尔斯基；维托尔德·帕兹德斯基；沃伊切赫·彭泽克；特奥菲尔·西多鲁克

电子投票中多代理属性的验证：案例研究。 （英语） Zbl 07668114号

Fernández-Duque，David（编辑）等人，《模态逻辑的进展》。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。531-555 (2022).
MSC公司：60年第68季度 03B70号 68T42型 91A12号机组 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{D.Kurpiewski}等人，in：模态逻辑的进展。第14卷。第十四届会议记录（AiML 2022），法国雷恩，2022年8月22日至25日。伦敦：学院出版物。531--555（2022；Zbl 07668114）
全文： arXiv公司
高，晶晶；Elena M.Parilina。

意见验证矩最优选择的多智能体系统中的意见动力学。 （俄语。英文摘要） Zbl 1505.91297号

Mat.Teor公司。伊格尔·普里洛日。 14，第4号，3-23（2022）; Dokl翻译。数学。108，补遗1，S75-S85（2023）。
MSC公司：91天30分
PDF格式BibTeX公司 XML格式引用
\textit{J.Gao}和\textit{E.M.Parilina}，Mat.Teor。伊格尔·普里洛日。14、第4号、第3--23号（2022年；Zbl 1505.91297）；Dokl翻译。数学。108，补充1，S75-S85（2023）
全文： MNR公司
关、吉；方，王；英明生

验证量子机器学习中的公平性。 （英语） Zbl 1514.68249号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。13372, 408-429 (2022).
MSC公司：68T05型 2012年第68季度 81页68 91B06型
PDF格式BibTeX公司 XML格式引用
\textit{J.Guan}等人，Lect。票据计算。科学。13372、408--429（2022年；Zbl 1514.68249）
全文： 内政部 arXiv公司
Timm，零；约苏阿·博塔

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

Campos，Sérgio（编辑）等人，《形式方法：基础和应用》。第24届巴西研讨会，SBMF 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13130, 53-69 (2021).
MSC公司：68T42型 03B70号 60年第68季度 91B32型
PDF格式BibTeX公司 XML格式引用
\textit{N.Timm}和\textit{J.Botha}，莱克特。票据计算。科学。13130，53-69（2021；Zbl 1498.68343）
全文： 内政部
科宁，诺琳；伯恩德·芬克贝纳；克里斯托弗·哈恩；贾娜·霍夫曼；扬尼克·希洛

超属性的运行时强制。 （英语） Zbl 1497.68291号

Hou，Zhe（编辑）等，验证和分析自动化技术。2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，第19届国际研讨会，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12971, 283-299 (2021).
MSC公司：60年第68季度 03B44号 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{N.Coenen}等人，Lect。票据计算。科学。12971283-299（2021年；兹比尔1497.68291）
全文： 内政部 arXiv公司
皮埃尔·甘蒂（编辑）；大卫·布雷索林（编辑）

2021年9月20日至22日，在意大利帕多瓦举行的第十二届游戏、自动机、逻辑和形式验证国际研讨会论文集。 （英语） 兹比尔1489.68014

理论计算机科学电子论文集（EPTCS）346.滑铁卢：开放出版协会（OPA）。第307页。，仅电子化、开放存取（2021年）。
MSC公司：68-06 65年第68季度 60年第68季度 91A80型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{P.Ganty}（编辑）和\textit{D.Bresolin}（主编），第十二届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF，意大利帕多瓦，2021年9月20-22日。滑铁卢：开放出版协会（OPA）（2021；Zbl 1489.68014）
全文： 内政部 链接
尤卡斯·马祖雷克

EthVer：随机以太坊智能合约的正式验证。 （英语） Zbl 1490.91255号

Bernhard，Matthew（编辑）等人，《金融加密和数据安全》。FC 2021国际研讨会。Codecfin、DeFi、VOTING和WTSC，虚拟活动，2021年3月5日。修订了选定的论文。柏林：斯普林格。莱克特。票据计算。科学。12676, 364-380 (2021).
MSC公司：91克99 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{Ł.Mazurek}，莱克特。票据计算。科学。12676364--380（2021年；Zbl 1490.91255）
全文： 内政部
孙新源；林少凯；维勒姆·舍贝里；杰，杰

如何利用DeFi项目。 （英语） Zbl 1492.91460号

Bernhard，Matthew（编辑）等人，《金融加密和数据安全》。FC 2021国际研讨会。Codecfin、DeFi、VOTING和WTSC，虚拟活动，2021年3月5日。修订了选定的论文。柏林：斯普林格。莱克特。票据计算。科学。12676162-167（2021年）。
MSC公司：91克99 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{X.Sun}等人，Lect。票据计算。科学。12676、162-167（2021年；Zbl 1492.91460）
全文： 内政部
克里斯特尔·拜尔；科宁，诺琳；伯恩德·芬克贝纳；弗洛里安·芬克；西蒙·扬奇；朱利安·西伯

基于因果关系的游戏解决。 （英语） Zbl 1493.68203号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12759, 894-917 (2021).
MSC公司：60年第68季度 03B70号 91A05型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。票据计算。科学。12759894--917（2021年；Zbl 1493.68203）
全文： 内政部 arXiv公司
加尔阿姆拉姆；苏古曼·班萨尔；油炸，Dror；卢卡斯·马蒂内利·塔巴哈拉；莫舍·瓦尔迪。；杰拉·韦斯

通过反应合成调整行为。 （英语） Zbl 1493.68201号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12759, 870-893 (2021).
MSC公司：60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{G.Amram}等人，Lect。票据计算。科学。12759870--893（2021年；Zbl 1493.68201）
全文： 内政部 arXiv公司
玛丽埃勒·斯托林加；克里斯蒂娜·科尔布；斯蒂芬诺·尼科莱蒂（Stefano M.Nicoletti）。；卡洛斯·巴德（Carlos E.Budde）。；恩斯特·莫里茨·哈恩

安全与网络安全的结合：仍在实践中。 （英语） Zbl 1490.68071号

Laarman，Alfons（编辑）等人，《模型检查软件》。第27届国际研讨会，SPIN 2021，虚拟活动，2021年7月12日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12864, 3-21 (2021).
MSC公司：68平方米25 68米15 60年第68季度 68层37 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Stoelinga}等人，Lect。票据计算。科学。12864，3-21（2021年；兹比尔1490.68071）
全文： 内政部 链接
马丁·迪德里克森；彼得·詹森（Peter G.Jensen）。；乔纳森·昂勒。；安德烈·伊昂·卡托纳；桑奇·D·L·喇嘛。；弗雷德里克·洛特鲁普。；沙哈卜·沙贾拉特；吉·斯尔巴

通过Petri游戏自动合成暂时正确的网络更新。 （英语） Zbl 1489.68157号

Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12734, 118-137 (2021).
MSC公司：68问题85 68M10个 60年第68季度 68兰特 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Didriksen}等人，Lect。票据计算。科学。12734、118--137（2021年；Zbl 1489.68157）
全文： 内政部
Manuel Gieseking先生；尼克·Würdemann

高级Petri博弈中直接生成策略的规范表示。 （英语） Zbl 1489.68159号

Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12734, 95-117 (2021).
MSC公司：68问题85 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Gieseking}和\textit{N.Würdemann}，莱克特。票据计算。科学。12734，95-117（2021；Zbl 1489.68159）
全文： 内政部 arXiv公司
谢尔盖，哈达德；莱姆，迪迪埃；奥利维尔·H·鲁克斯。

定性时间并发游戏的基于回合的方法。 （英语） Zbl 1489.68160号

Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12734, 76-92 (2021).
MSC公司：68问题85 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛S.Haddad｝等人，Lect。票据计算。科学。12734、76-92（2021年；Zbl 1489.68160）
全文： 内政部 哈尔
Christopher H.Broadbent。；阿诺德·卡拉约尔；马修·黑格；安德烈·穆拉夫斯基。；C.·H·卢克·翁；奥利维尔·塞雷

可折叠下推平价游戏。 （英语） Zbl 1502.68180号

ACM事务处理。计算。日志。 22，第3条，第16条，第51页（2021年）.
MSC公司：60年第68季度 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{C.H.Broadbent}等人，ACM Trans。计算。日志。22，第3号，第16条，51页（2021；Zbl 1502.68180）
全文： 内政部 arXiv公司 哈尔
朱利安·古铁雷斯；阿尼埃洛·穆拉诺；朱塞佩·佩雷利；萨沙·鲁宾；托马斯·斯蒂普尔斯；迈克尔·伍尔德里奇

定性和定量目标相结合的博弈均衡。 （英语） Zbl 1483.68193号

学报信息。 58，第6号，585-610（2021）.
MSC公司：60年第68季度 03B44号 68T42型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{J.Gutierrez}等人，《信息学报》58，第6期，585--610（2021年；Zbl 1483.68193）
全文： 内政部 arXiv公司 链接
雨果·帕奎特

贝叶斯策略：作为通用图形模型的概率程序。 （英语） Zbl 1473.68054号

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12648, 519-547 (2021).
MSC公司：68号30 62H22个 68甲15 68甲19 第68季度55 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛H.Paquet｝，勒克特。票据计算。科学。12648、519--547（2021；Zbl 1473.68054）
全文： 内政部
丹尼尔·豪斯曼；卢茨施罗德

嵌套不动点的拟多项式计算。 （英语） Zbl 1467.68085号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12651, 38-56 (2021).
MSC公司：60年第68季度 65年第68季度 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{D.Hausmann}和\textit{L.Schröder}，莱克特。票据计算。科学。12651，38-56（2021；Zbl 1467.68085）
全文： 内政部 arXiv公司
约翰·费恩利；马丁·盖林；马蒂亚斯·姆尼奇；拉胡尔·萨瓦尼

可达性切换游戏。 （英语） Zbl 1499.68200号

日志。方法计算。科学。 17，第2号，第10号论文，29页（2021年）.
MSC公司：60年第68季度 60J20型 2009年第68季度 2010年第68季度 2017年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{J.Fearnley}等人，Log。方法计算。科学。17，第2号，第10号论文，第29页（2021年；Zbl 1499.68200）
全文： arXiv公司 链接
Bønneland，弗雷德里克·迈耶；彼得·格约尔·詹森；金·古德斯特兰·拉森；马尔科·穆尼兹；吉·斯尔巴

两层可达博弈的顽固集约简。 （英语） 兹比尔1501.68002

日志。方法计算。科学。 17，第1号，第21号论文，第26页（2021年）.
审核人：马可·贝尼尼（科莫）
MSC公司：68问题85 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{F.M.Bönneland}等人，日志。方法计算。科学。17，第1号，第21号论文，第26页（2021；Zbl 1501.68002）
全文： arXiv公司 链接
弗朗西斯科·贝拉迪内利；罗德卡·孔杜拉克；柯特林·迪马；沃伊切赫·贾姆罗加；米查尔·科纳皮克

通过应用三选票投票协议验证战略能力的相互模拟。 （英语） 兹比尔1497.68287

Inf.计算。 276，文章ID 104552，25 p.（2021）.
MSC公司：60年第68季度 03B44号 68T42型 91B12号机组
PDF格式BibTeX公司 XML格式引用
\textit{F.Belardinelli}等人，《信息计算》。276，文章ID 104552，25 p.（2021；Zbl 1497.68287）
全文： 内政部 arXiv公司 链接
理查德·巴纳赫

验证导向的智能合约。 （英语） Zbl 1520.91440号

Braccali，Andrea（编辑）等人，《金融加密和数据安全》。2019年2月18日至22日在圣基茨和尼维斯举行的2019年FC国际研讨会、投票和WTSC，修订了部分论文。查姆：斯普林格。莱克特。票据计算。科学。11599, 106-121 (2020).
MSC公司：91克99 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{R.Banach}，莱克特。票据计算。科学。11599，106-121（2020；Zbl 1520.91440）
全文： 内政部
瑞秋·法拉；奥尔纳·库普弗曼

On（\（I/O \））-aware good-for-games自动机。 （英语） 兹比尔1517.68186

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 161-178 (2020).
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{R.Faran}和\textit{O.Kupferman}，莱克特。票据计算。科学。12302161-178（2020年；兹比尔1517.68186）
全文： 内政部
罗斯·波勒；安德烈·普拉泽

建构性游戏逻辑。 （英语） Zbl 1508.03065号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075，84-111（2020年）。
MSC公司：03B70号 68号30 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{R.Bohrer}和\textit{A.Platzer}，莱克特。票据计算。科学。12075，84-111（2020；Zbl 1508.03065）
全文： 内政部 arXiv公司
莫里斯·比克。；谢夫·范·卢；埃里克·P·德文克。；Tim A.C.Willemse。

基于家庭的SPL模型检查，使用具有可变性的奇偶校验游戏。 （英语） Zbl 1507.68199号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12076, 245-265 (2020).
MSC公司：60年第68季度 68号30 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.H.ter Beek}等人，Lect。票据计算。科学。12076245--265（2020；Zbl 1507.68199）
全文： 内政部
伊莎贝拉·考夫曼；金·古德斯特兰·拉森；吉·斯尔巴

具有分支时间获胜条件的多权重博弈的综合。 （英语） Zbl 1503.68182号

Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12152, 46-66 (2020).
MSC公司：60年第68季度 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{I.考夫曼}等人，Lect。票据计算。科学。12152，46-66（2020；Zbl 1503.68182）
全文： 内政部
卡斯滕·迪霍夫；Kirsten，迈克尔；乔纳斯·克雷默

验证公平投票规则的构建。 （英语） Zbl 1504.91095号

Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。12042, 90-104 (2020).
MSC公司：91B14号机组 91B12号机组 60年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{K.Diekhoff}等人，Lect。票据计算。科学。12042、90-104（2020年；Zbl 1504.91095）
全文： 内政部 链接
罗密欧，尼格尼戈·X·尼泽尔；莱昂纳多·曼格鲁卡；蒂齐亚诺别墅；阿尔贝托Sangiovanni-Vincentelli

前序理论中的商。 （英语） Zbl 07455750号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326216-233（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{í.X.í.Romeo}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326216--233（2020；Zbl 07455750）
全文： arXiv公司 链接
巴德·阿布·拉迪；奥尔纳·库普弗曼

GFG和基于转换的自动机中的规范性。 （英语） 兹比尔07455749

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326199-215（2020）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{B.A.Radi}和\textit{O.Kupferman}，电子。程序。西奥。计算。科学。（EPTCS）326199-215（2020；Zbl 07455749）
全文： arXiv公司 链接
李勇；莫舍·瓦尔迪。；张丽君

关于Büchi互补中明确性的力量。 （英语） Zbl 07455748号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326182-198（2020）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326182--198（2020；Zbl 07455748）
全文： arXiv公司 链接
安德鲁·威尔斯（Andrew M.Wells）。；莫特萨·拉希贾尼安；利迪亚·卡夫拉基。；莫舍·瓦尔迪。

\（\mathrm{LTL}_f\)概率系统综合。 （英语） Zbl 07455747号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326166-181（2020）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Wells}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326166--181（2020；Zbl 07455747）
全文： arXiv公司 链接
帕特里夏·鲍耶；托马斯·布里海耶；米凯尔·兰多尔；塞德里克河畔；皮埃尔·范登霍夫

随机系统的决定性及其在混合模型中的应用。 （英语） Zbl 07455746号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326149-165（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326149--165（2020；Zbl 07455746）
全文： arXiv公司 链接
简·Křetínsk；伊曼纽尔·拉姆尼安图；亚历山大·斯利文斯基；马克西米利安·威宁格

简单随机博弈算法的比较。 （英语） Zbl 07455745号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326、131-148（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{J.Křetínsk \}et al.，电子。程序。西奥。计算。科学。（EPTCS）326131-148（2020；Zbl 07455745）
全文： arXiv公司 链接
阿尼埃洛·穆拉诺；萨沙·鲁宾；马丁·齐默尔曼

加权极限对策中的最优策略。 （英语） Zbl 07455744号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326114-130（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{A.Murano}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326114-130（2020；Zbl 07455744）
全文： arXiv公司 链接
弗洛里安·布鲁斯；约格·克里克；马丁·兰格；马尔科·萨利泽

局部高阶不动点迭代。 （英语） Zbl 07455743号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32697-113（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{F.Bruse}等人，《电子》。程序。西奥。计算。科学。（EPTCS）32697--113（2020；Zbl 07455743）
全文： arXiv公司 链接
你好，劳里；安蒂·库西斯托；雷恩·Rönnholm

模态mu-calculus和一些变体的有界游戏理论语义。 （英语） Zbl 07455742号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32682-96（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{L.Hella}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326、82--96（2020；Zbl 07455742）
全文： arXiv公司 链接
堪萨斯州巴什肯特

无意义逻辑的博弈论语义。 （英语） Zbl 07455741号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）3266-81（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{C.巴什肯特}，电子。程序。西奥。计算。科学。（EPTCS）326、66--81（2020；Zbl 07455741）
全文： arXiv公司 链接
唐宁，玛拉；阿卜丁·莫拉维；Lucas Bang先生

符号执行+模型计数+熵最大化=自动搜索合成。 （英语） Zbl 07455740号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32650-65（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Downing}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326、50-65（2020；Zbl 07455740）
全文： arXiv公司 链接
贝拉德，贝特里奇；贝内迪克特·博利格；帕特里夏·鲍耶；马蒂亚斯·福格尔；纳塔利·斯兹纳杰德

存在动态链接的合成。 （英语） Zbl 07455739号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32633-49（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{B.贝拉德}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326、33-49（2020；Zbl 07455739）
全文： arXiv公司 链接
Oebele利曾加；汤姆·范·迪克

产生获胜策略的象征性平价游戏求解器。 （英语） Zbl 07455738号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326，18-32（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{O.Lizzenga}和\textit{T.van Dijk}，电子。程序。西奥。计算。科学。（EPTCS）326，18-32（2020；Zbl 07455738）
全文： arXiv公司 链接
卢卡斯·塔巴哈拉。；莫舍·瓦尔迪。

部分可观测性下的LTLf综合：从理论到实践。 （英语） Zbl 07455737号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）3261-17（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{L.M.Tabajara}和\textit{M.Y.Vardi}，电子。程序。西奥。计算。科学。（EPTCS）326，1--17（2020；Zbl 07455737）
全文： arXiv公司 链接
玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；加布里埃尔·桑托斯

并发随机博弈的多人均衡验证。 （英语） Zbl 1483.68197号

Gribaudo，Marco（编辑）等人，《系统的定量评估》。第17届国际会议，QEST 2020，奥地利维也纳，2020年8月31日至9月3日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12289, 74-95 (2020).
MSC公司：60年第68季度 03B44号 68问题85 91A15型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。票据计算。科学。12289，74-95（2020；Zbl 1483.68197）
全文： 内政部 arXiv公司 链接
托马斯·内勒；Tim A.C.Willemse。；威格·威瑟林克

奇偶对策的部分阶约简及其在参数化布尔方程系统上的应用。 （英语） Zbl 1483.68201号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12079, 307-324 (2020).
MSC公司：60年第68季度 03B70号 68问题85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛T.Neele｝等人，Lect。票据计算。科学。12079、307--324（2020；Zbl 1483.68201）
全文： 内政部
奥利弗·马克格拉夫；Chih-Duo洪；Anthony W·林。；穆罕默德·纳吉布；丹尼尔·奈德

具有安全性能的参数化合成。 （英语） Zbl 1476.68154号

Oliveira，Bruno C.d.S.（编辑），《编程语言和系统》。2020年11月30日至12月2日，日本福冈，APLAS 2020第18届亚洲研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12470, 273-292 (2020).
MSC公司：60年第68季度 68问题32 65年第68季度 68问题85 68T40型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{O.Markgraf}等人，Lect。票据计算。科学。12470273--292（2020年；Zbl 1476.68154）
全文： 内政部 arXiv公司
韩宁；李锡盟；王国辉；史志平；关、勇

智能合约原子性要求的正式验证。 （英语） Zbl 1476.68148号

Oliveira，Bruno C.d.S.（编辑），《编程语言和系统》。2020年11月30日至12月2日，日本福冈，APLAS 2020第18届亚洲研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12470, 44-64 (2020).
MSC公司：60年第68季度 03B70号 91B41型 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{N.Han}等人，Lect。票据计算。科学。12470，44-64（2020；Zbl 1476.68148）
全文： 内政部
玛丽亚·里贝罗；佩德罗·阿德奥；保罗·马特乌斯

使用Isabelle/HOL对以太坊智能合约进行正式验证。 （英语） Zbl 1476.68156号

Nigam，Vivek（编辑）等人，《逻辑、语言和安全》。在安德烈·塞德罗夫65岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。12300, 71-97 (2020).
MSC公司：60年第68季度 03B70号 68伏15 91B41型 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Ribeiro}等人，Lect。票据计算。科学。12300，71-97（2020；Zbl 1476.68156）
全文： 内政部
Borja G.莱昂。；弗朗西斯科·贝拉迪内利

扩展马尔可夫博弈来学习多智能体强化学习中的多任务。 （英语） Zbl 1464.68315号

De Giacomo，Giuseppe（编辑）等人，《2020年ECAI》。第24届欧洲人工智能会议，2020年8月29日至9月8日，西班牙圣地亚哥·德孔波斯特拉。包括第十届人工智能应用大会，PAIS 2020。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。325, 139-146 (2020).
MSC公司：68T05型 60年第68季度 68T42型 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{B.G.Leon}和\textit{F.Belardinelli}，前面。Artif公司。智力。申请。325139——146（2020年；Zbl 1464.68315）
全文： 内政部 arXiv公司
Jean-Francois拉斯金（编辑）；大卫·布雷索林（编辑）

第十一届游戏、自动机、逻辑和形式验证国际研讨会会议记录，2020年9月21日至22日，比利时布鲁塞尔，GandALF 2020。 （英语） Zbl 1466.68026号

理论计算机科学电子论文集（EPTCS）326.滑铁卢：开放出版协会（OPA）。第233页。，仅电子化、开放存取（2020年）。
MSC公司：68-06 65年第68季度 60年第68季度 91A80型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{J.-F.Raskin}（编辑）和\textit{D.Bresolin}（主编），第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）（2020；Zbl 1466.68026）
全文： 内政部 arXiv公司 链接
克里希南德·查特吉；Joost-Pieter卡托恩；马克西米利安·威宁格；托拜厄斯·温克勒

具有词典可达性-安全目标的随机博弈。 （英语） Zbl 1478.68151号

Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12225, 398-420 (2020).
MSC公司：60年第68季度 2017年第68季度 65年第68季度 68问题85 87年第68季度 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。票据计算。科学。12225398--420（2020年；Zbl 1478.68151）
全文： 内政部 arXiv公司
基蒂芬·法拉卡恩；Toru Takisaka公司；托马斯·哈斯；一郎·哈索

随机对策有界值迭代中的最宽路径和全局传播。 （英语） Zbl 1478.68171号

Lahiri，Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12225, 349-371 (2020).
MSC公司：60年第68季度 90立方厘米 90立方厘米 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{K.Phalakarn}等人，Lect。票据计算。科学。12225，349--371（2020；Zbl 1478.68171）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件