| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 计数网的维数最小性与素性 | Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun | 2307.14492 | cs.FL | 2023-07-28 |
| 寄存器自动机在域上的成本寄存器最小化 | Yahia Idriss Benalioua and Nathan Lhote and Pierre-Alain Reynier | 2307.13505 | cs.FL | 2023-07-26 |
| EnPAC：线性时态逻辑的Petri网模型检验 | Zhijun Ding, Cong He and Shuo Li | 2307.12324 | cs.FL | 2023-07-25 |
| 正向数据语言 | Florian Frank, Stefan Milius, Henning Urbat | 2304.12947 | cs.FL | 2023-07-24 |
| 原始自动机的同步 | Mikhail Volkov | 2306.13317 | cs.FL | 2023-07-24 |
| 关于良好MDP自动机的简洁性 | Sven Schewe and Qiyi Tang | 2307.11483 | cs.FL | 2023-07-24 |
| 二向自动机和具有平面行为的转换器是非周期性的 | L^e Th`anh D~ung Nguy^en, Camille No^us, C''ecilia Pradic | 2307.11057 | cs.FL | 2023-07-21 |
| 本地性与中心性：多样化的ZG | Antoine Amarilli, Charles Paperman | 2102.07724 | cs.FL | 2023-07-18 |
| 量化自动机的安全性与活性 | Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sarac{c} | 2307.06016 | cs.FL | 2023-07-17 |
| 对Parikh可识别ω-语言的注解 | Mario Grobler, Leif Sabellek, Sebastian Siebertz | 2307.07238 | cs.FL | 2023-07-17 |
| 识别和学习$omega$-正则语言的一种新型有限自动机家族 | Yong Li, Sven Schewe, Qiyi Tang | 2307.07490 | cs.FL | 2023-07-17 |
| 判定有理关系的共轭性 | C. Aiswarya, Amaldev Manuel, Saina Sunny | 2307.06777 | cs.FL | 2023-07-14 |
| 分解有限语言 | Daniel Alexander Spenner | 2307.06802 | cs.FL | 2023-07-14 |
| 概率程序及其VASS抽象的渐近复杂度估计 | Michal Ajdar''ow, Anton''in Kuv{c}era | 2307.04707 | cs.FL | 2023-07-13 |
| 事件序列的过程复杂性与通过过程挖掘发现的模型之间的关系 | Adriano Augusto, Jan Mendling, Maxim Vidgof, Bastian Wurm | 2106.07990 | cs.FL | 2023-07-12 |
| 在存在"Don't Care"词的情况下，关于确定性ω-自动机的最小化与学习 | Christof L"oding, Max Philip Stachon | 2211.08787 | cs.FL | 2023-07-11 |
| 链式无约束字符串（技术报告） | Parosh Aziz Abdulla, Mohamed Faouzi Atig Bui Phi Diep, Luk''av{s} Hol''ik, Petr Jank {u} | 2307.03970 | cs.FL | 2023-07-11 |
| 优化LTS模拟算法（技术报告） | Luk''av{s} Hol''ik and Jiv{r}''i v{S}im''av{c}ek | 2307.04235 | cs.FL | 2023-07-11 |
| 深度受限模糊自动机之间的模糊模拟和双模拟 | Linh Anh Nguyen, Ivana Mici''c and Stefan Stanimirovi''c | 2307.03318 | cs.FL | 2023-07-10 |
| 无界内存自动机中成员和非空问题的复杂性 | Cl''ement Bertrand, Cinzia Di Giusto (C&A), Hanna Klaudel (IBISC), Damien Regnault (IBISC) | 2307.03561 | cs.FL | 2023-07-10 |
| 原始的同步自动机 | Igor Rystsov, Marek Szyku{l}a | 2307.01302 | cs.FL | 2023-07-06 |
| 决定什么是对MDPs（马尔可夫决策过程）有益的 | Sven Schewe, Qiyi Tang and Tansholpan Zhanabekova | 2202.07629 | cs.FL | 2023-07-04 |
| 确定性下推自动机能够压缩一些正常序列 | Olivier Carton and Sylvain Perifel | 2205.00734 | cs.FL | 2023-07-04 |
| 有限自动机的描述复杂度--选定亮点 | Arto Salomaa and Kai Salomaa and Taylor J. Smith | 2301.03708 | cs.FL | 2023-06-30 |
| 确定不受限定数字集合的乘法转换器最小路径大小 | Aditya Mittal and Karthik Mittal | 2306.14904 | cs.FL | 2023-06-28 |