实体
Deterministic Register Automata
Deterministic Register Automata
PulseAugur coverage of Deterministic Register Automata — every cluster mentioning Deterministic Register Automata across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新框架合成并验证数据序列上的Register Automata
研究人员开发了一个新的框架，用于合成和验证数据序列上的确定性Register Automata (DRAs)。这些DRAs能够表达依赖于序列不同位置之间值比较的属性，这是传统有限自动机无法处理的。该框架包括一个局部搜索合成过程和一个精确鲁棒性检查器，并实现了一个名为RAExc的工具。该方法已被应用于为神经网络序列分类器创建可解释的DRA代理，在基准语言和序列化MNIST数据集上展示了高准确性和已验证的鲁棒性。
-
新框架简化了有序数据域上寄存器自动机的学习
研究人员开发了一个统一的框架，用于在有序数据域（包括稠密和非稠密集合，如有理数和整数）上主动学习确定性寄存器自动机（DRAs）。这一新过程在多项式时间内运行，并利用成员资格、等价性和可记忆性查询的预言机。这项工作的一个重要成果是，在非稠密的整数有序域上最小化DRAs是可判定的，而此前这个问题仅在稠密域上已知可解。该研究还为有关DRAs的相关判定问题提供了增强的复杂性界限。