| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 关于多个折扣因子的折现和自动机的比较 | Udi Boker and Guy Hefetz | 2301.04086 | cs.FL | 2023-06-12 |
| 最佳的 Wheeler 语言识别 | Ruben Becker and Davide Cenzato and Sung-Hwan Kim and Bojana Kodric and Alberto Policriti and Nicola Prezza | 2306.04737 | cs.FL | 2023-06-09 |
| 决定最小可区分的确定有限自动机是NP完全的 | Jan Martens | 2306.03533 | cs.FL | 2023-06-07 |
| 左商和右商相关格的对偶性 | Jason Bell, Daniel Smertnig, and Hellis Tamm | 2306.02491 | cs.FL | 2023-06-06 |
| 利用大型语言模型提高证明的效果 | Shizhuo Dylan Zhang, Talia Ringer, Emily First | 2305.04369 | cs.FL | 2023-06-02 |
| 一字权重有限自动机的最佳近似最小化 | Clara Lacroce, Borja Balle, Prakash Panangaden, Guillaume Rabusseau | 2306.00135 | cs.FL | 2023-06-02 |
| 检查多项式时间内一个正则树语言是否为确定性自顶向下。 | Sebastian Maneth, Helmut Seidl | 2306.00573 | cs.FL | 2023-06-02 |
| 关于动态概率模型的果断性 | Alain Finkel and Serge Haddad and Lina Ye | 2305.19564 | cs.FL | 2023-06-01 |
| ALMA：使用模2乘法自动机的自动机学习者 | Nevin George | 2301.04077 | cs.FL | 2023-05-30 |
| 有限模型发现的实时编程 | Allison Sullivan | 2305.17317 | cs.FL | 2023-05-30 |
| 使用Myhill-Nerode风格的确定性定时自动机的主动学习 | Masaki Waga | 2305.17742 | cs.FL | 2023-05-30 |
| 实时系统的统一模型：符号技术和实现 | S Akshay and Paul Gastin and R Govind and Aniruddha R Joshi and B Srivathsan | 2305.17824 | cs.FL | 2023-05-30 |
| 关于语义确定性自动机 | Bader Abu Radi and Orna Kupferman | 2305.15489 | cs.FL | 2023-05-26 |
| 蓝牙设备的指纹识别与自动机学习分析 | Andrea Pferscher, Bernhard K. Aichernig | 2211.16074 | cs.FL | 2023-05-25 |
| 一般文法的闭包性质 -- 形式验证 | Martin Dvorak and Jasmin Blanchette | 2302.06420 | cs.FL | 2023-05-24 |
| 双确定性加权自动机 | Peter Kostol''anyi | 2303.10631 | cs.FL | 2023-05-18 |
| 交替弱布基自动机到非二义性布基自动机的单指数翻译 | Yong Li, Sven Schewe and Moshe Y. Vardi | 2305.09966 | cs.FL | 2023-05-18 |
| 转型式主管定位 | Sander Thuijsman, Kai Cai, Michel Reniers | 2305.09384 | cs.FL | 2023-05-17 |
| 带标识符的Petri网的正确性概念 | Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy | 2212.07363 | cs.FL | 2023-05-16 |
| 学习实时一计数器自动机 | V''eronique Bruy`ere, Guillermo A. P''erez, Ga"etan Staquet | 2110.09434 | cs.FL | 2023-05-15 |
| 使用学习的 VPAs 验证流式 JSON 文档 | V''eronique Bruy`ere, Guillermo A. Perez, Ga"etan Staquet | 2211.08891 | cs.FL | 2023-05-15 |
| 带有计时器的自动机 | V''eronique Bruy`ere, Guillermo A. P''erez, Ga"etan Staquet, Frits W. Vaandrager | 2305.07451 | cs.FL | 2023-05-15 |
| 自然语言（NL）严格包含于P | Santiago Flum, J. Andres Montoya | 2304.04840 | cs.FL | 2023-05-10 |
| 非负整数的加权HOM问题 | Andreas Maletti, Andreea-Teodora N''asz, Erik Paul | 2305.04117 | cs.FL | 2023-05-09 |
| 操作符优先语言的常规方法 | Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Sarac{c} | 2305.03447 | cs.FL | 2023-05-08 |