Representing Regular Languages of Infinite Words Using Mod 2 Multiplicity Automata
Representing Regular Languages of Infinite Words Using Mod 2 Multiplicity Automata
复制标题
使用 Mod 2 多重自动机表示无限字的正则语言
DOI：
10.1007/978-3-030-99253-8
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
George, Nevin
中科院分区：
文献类型：
--
作者：
Angluin, Dana;Antonopoulos, Timos;Fisman, Dana;George, Nevin
这本开放获取的书构成了第25届软件科学和计算结构基础国际会议FOSSACS 2022的会议记录，该会议于2022年4月4日至6日在德国慕尼黑举行，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。本卷中提出的23篇定期论文是从77篇论文中仔细审查和挑选出来的。他们处理理论和方法的研究，以支持程序和软件系统的分析，集成，合成，转换和验证。
This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
登录
查看更多内容
Büchi 自动机的共归纳算法
DOI：
10.1007/978-3-030-24886-4_15
发表时间：
2019
期刊：
Proceedings of the Sixth (2019) ACM Conference on Learning @ Scale
影响因子：
--
作者：
Denis Kuperberg;L. Pinault;D. Pous
通讯作者：
D. Pous
时间属性的层次结构
DOI：
10.1145/41840.41857
发表时间：
1987
期刊：
2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)
影响因子：
--
作者：
Z. Manna;A. Pnueli
通讯作者：
A. Pnueli
加权自动机结构紧凑且可主动学习
DOI：
10.1016/j.ipl.2021.106133
发表时间：
2020
期刊：
ArXiv
影响因子：
--
作者：
Artem Kaznatcheev;P. Panangaden
通讯作者：
P. Panangaden
非常明确的 Büchi 自动机可通过成员查询进行多项式预测
DOI：
10.4230/lipics.csl.2020.8
发表时间：
2020
期刊：
Inf. Control.
影响因子：
--
作者：
D. Angluin;Timos Antonopoulos;D. Fisman
通讯作者：
D. Fisman
1 – 线性代数及相关入门主题
DOI：
10.1016/b978-012508465-9/50001-6
发表时间：
1996
期刊：
SIAM J. Comput.
影响因子：
--
作者：
B. Moser
通讯作者：
B. Moser