arXiv · AI· Chih-Duo Hong, Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Julian Parsert, Tony Tan·· 16 小时前AI 评分27
基于有序数据序列的确定性寄存器自动机（DRA）合成与验证技术报告
Synthesis and Verification of Register Automata over Data Sequences (Technical Report)
AI 导读
该技术研究确定性寄存器自动机（DRA）的合成与验证，核心包含局部搜索合成过程及精确鲁棒性检查器。检查器在寄存器数固定时以多项式时间运行，其计算复杂度随寄存器数量呈指数级增长，并将鲁棒性归约至最短路径问题。
来源：arXiv · AI · arxiv.org