摘要：优化基础框架实现自动化系统修复来对抗omega-regular属性
作者：Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi
论文ID：2207.13416
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-07-28
PDF 下载： 英文版 中文版pdf翻译中