| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 有限模糊性在Büchi补全中的能量 | Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang | 2109.12828 | cs.FL | 2023-03-06 |
| 基于LTL的非马尔可夫逆强化学习 | Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, Krishna S, Ashutosh Trivedi, Alvaro Velasquez | 2110.13616 | cs.FL | 2023-03-02 |
| 关于布尔网络顺序可控性推理的一种P系统变体 | Artiom Alhazov, Vincent Ferrari-Dominguez, Rudolf Freund, Nicolas Glade, Sergiu Ivanov | 2303.00110 | cs.FL | 2023-03-02 |
| 概率下推自动机的乐观值迭代证书 | Tobias Winkler, Joost-Pieter Katoen | 2301.08657 | cs.FL | 2023-02-28 |
| 部分观测下模块离散事件系统的监督控制：正常性 | Jan Komenda and Tom''av{s} Masopust | 2302.10666 | cs.FL | 2023-02-22 |
| 复制和洗牌的决策问题 | Vesa Halava, Tero Harju, Dirk Nowotka, Esa Sahla | 2302.06248 | cs.FL | 2023-02-20 |
| 多规则函数的砾石最小化 | Nathan Lhote | 2006.16645 | cs.FL | 2023-02-16 |
| 广义自动机的Myhill-Nerode定理 | Nicola Cotumaccio | 2302.06506 | cs.FL | 2023-02-14 |
| Büchi-类似的特征描述对于Parikh可识别的ω-语言 | Mario Grobler, Sebastian Siebertz | 2302.04087 | cs.FL | 2023-02-09 |
| 带约束的加权树自动机 | Andreas Maletti, Andreea-Teodora N''asz | 2302.03434 | cs.FL | 2023-02-08 |
| 定时部分顺序推理算法 | Kandai Watanabe, Bardh Hoxha, Danil Prokhorov, Georgios Fainekos, Morteza Lahijanian, Sriram Sankaranarayana, Tomoya Yamaguchi | 2302.02501 | cs.FL | 2023-02-07 |
| 并发克里尼代数：自由模型与完备性 | Tobias Kapp''e and Paul Brunet and Alexandra Silva and Fabio Zanasi | 1710.02787 | cs.FL | 2023-02-03 |
| 关于级联并行Pomset语言：合理性、上下文无关性和自动机 | Tobias Kapp''e and Paul Brunet and Bas Luttik and Alexandra Silva and Fabio Zanasi | 1812.03058 | cs.FL | 2023-02-03 |
| 树自动机作为代数：最小化与确定化 | Gerco van Heerdt, Tobias Kapp''e, Jurriaan Rot, Matteo Sammartino, Alexandra Silva | 1904.08802 | cs.FL | 2023-02-03 |
| 学习广义树自动机的范畴框架 | Gerco van Heerdt, Tobias Kapp''e, Jurriaan Rot, Matteo Sammartino, Alexandra Silva | 2001.05786 | cs.FL | 2023-02-03 |
| 学习Pomset自动机 | Gerco van Heerdt, Tobias Kapp''e, Jurriaan Rot, Alexandra Silva | 2102.07504 | cs.FL | 2023-02-03 |
| FA-Presentable结构中的字符串压缩 | Dmitry Berdinsky and Sanjay Jain and Bakhadyr Khoussainov and Frank Stephan | 2302.01009 | cs.FL | 2023-02-03 |
| 具有一个一元计数器的2-VASS中的可达性问题属于NP | Filip Mazowiecki, Henry Sinclair-Banks, and Karol Wk{e}grzycki | 2301.13543 | cs.FL | 2023-02-01 |
| 一阶树对树函数 | Miko{l}aj Boja''nczyk and Amina Doumane | 2002.09307 | cs.FL | 2023-01-31 |
| 带有同步计数的正则模式快速匹配（技术报告） | Luk''av{s} Hol''ik, Juraj S''iv{c}, Lenka Turov{n}ov''a, Tom''av{s} Vojnar | 2301.12851 | cs.FL | 2023-01-31 |
| 单子表达式及其导数 [扩展版] | Samira Attou, Ludovic Mignot, Cl''ement Miklarz and Florent Nicart | 2301.13054 | cs.FL | 2023-01-31 |
| B"{u}chi VASS 中的正则可分性 | Pascal Baumann, Roland Meyer, Georg Zetzsche | 2301.11242 | cs.FL | 2023-01-27 |
| 鹅卵石最小化：最后的定理 | Ga"etan Dou''eneau-Tabot | 2210.02426 | cs.FL | 2023-01-25 |
| 具有反转有界计数器的机器的无界性问题 | Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar Ibarra, Ian McQuillan, Lia Sch"utze, Georg Zetzsche | 2301.10198 | cs.FL | 2023-01-25 |
| 帕里克自动机与无穷字 | Mario Grobler, Leif Sabellek, Sebastian Siebertz | 2301.08969 | cs.FL | 2023-01-24 |