| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 历史确定性 Parikh 自动机 | Enzo Erlich, Shibashis Guha, Isma"el Jecker, Karoliina Lehtinen, Martin Zimmermann | 2209.07745 | cs.FL | 2023-09-01 |
| 有理关系的重新同步统一化和可定义性问题 | Christof L"oding and Sarah Winter | 2104.12508 | cs.FL | 2023-08-30 |
| 斯图尔姆数在代数基上的超越性 | Florian Luca, Joel Ouaknine, James Worrell | 2308.13657 | cs.FL | 2023-08-29 |
| $mathrm{GL}(2,mathbb{Q})$中平坦有理子集的成员问题的可决性和奇异矩阵 | Volker Diekert, Igor Potapov, and Pavel Semukhin | 1910.02302 | cs.FL | 2023-08-28 |
| 编排综合中的研究挑战 | Davide Basile (Formal Methods and Tools lab, ISTI-CNR, Pisa, Italy), Maurice H. ter Beek (Formal Methods and Tools lab, ISTI-CNR, Pisa, Italy) | 2308.10651 | cs.FL | 2023-08-24 |
| 标记游戏与历史确定性量化自动机 | Udi Boker and Karoliina Lehtinen | 2110.14308 | cs.FL | 2023-08-22 |
| 最大加线性系统的形式分析与验证 | Muhammad Syifa'ul Mufid, Andrea Micheli, Alessandro Abate, Alessandro Cimatti | 2308.10587 | cs.FL | 2023-08-22 |
| 引入无限概率模型的差异 | Alain Finkel, Serge Haddad, Lina Ye | 2308.08842 | cs.FL | 2023-08-21 |
| CFL 可达性的细粒度复杂性 | Paraschos Koutris, Shaleen Deep | 2308.09284 | cs.FL | 2023-08-21 |
| 扫描复杂性再探 | Szil''ard Zsolt Fazekas, Robert Mercac{s} | 2308.06683 | cs.FL | 2023-08-15 |
| 演员与灰色故障模型 | Laura Bocchi and Julien Lange and Simon Thompson and A. Laura Voinea | 2210.17508 | cs.FL | 2023-08-14 |
| 比较在混合自动机中包含随机性的两种方法 | Lisa Willemsen and Anne Remke and Erika ''Abrah''am | 2307.08052 | cs.FL | 2023-08-09 |
| 关于带反向引用的正则表达式的表达能力 | Taisei Nogami, Tachio Terauchi | 2307.08531 | cs.FL | 2023-08-09 |
| 宏树的线性高度和线性尺寸与高度增加的决策 | Paul Gallot, Sebastian Maneth, Keisuke Nakano, Charles Peyrat | 2307.16500 | cs.FL | 2023-08-09 |
| 可检验的代数特征描述有限阿贝尔群上加性细胞自动机的正扩张性 | Alberto Dennunzio and Enrico Formenti and Luciano Margara | 2308.03064 | cs.FL | 2023-08-09 |
| 自动机学习中的规范代数生成器 | Stefan Zetzsche | 2308.04222 | cs.FL | 2023-08-09 |
| 树代数的幂集构造 | Achim Blumensath | 2207.00563 | cs.FL | 2023-08-08 |
| 单计数器自动机上的同步CTL | Shaull Almagor, Daniel Assa, Udi Boker | 2308.03308 | cs.FL | 2023-08-08 |
| 分离自动关系 | Pablo Barcel''o and Diego Figueira and R''emi Morvan | 2305.08727 | cs.FL | 2023-08-03 |
| 无限树的扩展问题 | Achim Blumensath | 2308.01174 | cs.FL | 2023-08-03 |
| 优先级下降闭包 | Ashwani Anand and Georg Zetzsche | 2307.07460 | cs.FL | 2023-08-02 |
| 二维Dyck词 | Stefano Crespi Reghizzi, Antonio Restivo, and Pierluigi San Pietro | 2307.16522 | cs.FL | 2023-08-01 |
| 遗忘的1-有限自动机 | Giovanni Pighizzini and Luca Prigioniero | 2307.16700 | cs.FL | 2023-08-01 |
| 加权一确定性计数自动机 | Prince Mathew, Vincent Penelle, Prakash Saivasan, and A.V. Sreejith | 2301.13456 | cs.FL | 2023-07-31 |
| 范畴分割优化中的显式Hopcroft技巧 | Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo | 2307.15261 | cs.FL | 2023-07-31 |