HyperLTL Satisfiability Is Highly Undecidable, HyperCTL* is Even Harder
HyperLTL Satisfiability Is Highly Undecidable, HyperCTL* is Even Harder
复制标题
HyperLTL 可满足性高度不确定，HyperCTL* 更难
DOI：
10.48550/arxiv.2303.16699
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Fortin M
中科院分区：
文献类型：
--
作者：
Fortin M
登录
查看更多内容
HyperLTL 的运行时验证
DOI：
10.1007/978-3-319-46982-9_4
发表时间：
2016
期刊：
J. Comput. Secur.
影响因子：
--
作者：
Borzoo Bonakdarpour;B. Finkbeiner
通讯作者：
B. Finkbeiner
递归理论层次结构
DOI：
--
发表时间：
2017
期刊：
Perspectives in Logic
影响因子：
--
作者：
P. Hinman
通讯作者：
P. Hinman
用符号逻辑对常规事件进行分类
DOI：
--
发表时间：
1982
期刊：
Journal of computer and system sciences (Print)
影响因子：
--
作者：
W. Thomas
通讯作者：
W. Thomas
DOI：
--
发表时间：
2022
期刊：
NASA Formal Methods
影响因子：
--
作者：
Oyendrila Dobe;Lukas Wilke;E. Ábrahám;E. Bartocci;Borzoo Bonakdarpour
通讯作者：
Borzoo Bonakdarpour
异步超属性的自动机和固定点
DOI：
--
发表时间：
2020
期刊：
Proc. ACM Program. Lang.
影响因子：
--
作者：
J. Gutsfeld;M. Müller;Christoph Ohrem
通讯作者：
Christoph Ohrem