| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 加权有限自动机的最优谱范数近似极小化 | Borja Balle, Clara Lacroce, Prakash Panangaden, Doina Precup, Guillaume Rabusseau | 2102.06860 | cs.FL | 2021-05-18 |
| 并行沙堆还是虚假的双向冰堆？ | Gianpiero Cattaneo and Luca Manzoni | 2105.04308 | cs.FL | 2021-05-18 |
| 布氏自动机的合同关系 | Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi and Lijun Zhang | 2104.03555 | cs.FL | 2021-05-12 |
| 具有概率分布的度量区间时态逻辑的策略综合 | Lening Li and Jie Fu | 2105.04593 | cs.FL | 2021-05-12 |
| Petri 网不变量合成 | Peter Chini and Florian Furbach | 2105.03096 | cs.FL | 2021-05-10 |
| 无穷树的正则语言的确定性和游戏可分离性 | Lorenzo Clemente, Micha{l} Skrzypczak | 2105.01137 | cs.FL | 2021-05-05 |
| 二维自动机的限制程度 | Taylor J. Smith and Kai Salomaa | 2105.01179 | cs.FL | 2021-05-05 |
| 在模型检测中对于网络物理系统的环境建模 | Guangyao Chen and Zhihao Jiang | 2105.01236 | cs.FL | 2021-05-05 |
| 正则语言的获胜集：描述性和计算复杂度 | Pierre Marcus and Ilkka T"orm"a | 2105.00452 | cs.FL | 2021-05-04 |
| 用于偏置随机仿真以快速覆盖AMS设计中角点案例的方法 | Sayandeep Sanyal, Ayan Chakraborty, Pallab Dasgupta, Aritra Hazra | 2104.14785 | cs.FL | 2021-05-03 |
| 猜测k可同步性的缓冲边界 | Cinzia Di Giusto, Laetitia Laversa, Etienne Lozes | 2104.14408 | cs.FL | 2021-04-30 |
| 生物鲁棒性属性的形式化描述与高效验证 | Lucia Nasti, Roberta Gori, Paolo Milazzo | 2104.13831 | cs.FL | 2021-04-29 |
| 加权自动机具有紧凑性且可主动学习 | Artem Kaznatcheev and Prakash Panangaden | 2011.10498 | cs.FL | 2021-04-26 |
| 参数化时间自动机下不可避免规范的控制合成 | Ebru Aydin Gol | 2104.09154 | cs.FL | 2021-04-20 |
| 自动机和自动机关联中的数学方法 | Sergio Henrique Maciel | 2011.08108 | cs.FL | 2021-04-19 |
| 自动集合的上密度是有理数。 | Jason P. Bell | 2002.07256 | cs.FL | 2021-04-13 |
| 有限词集的Kleene星号运算的Frobenius和因子普遍性问题 | Maksymilian Mika, Marek Szyku{l}a | 1902.06702 | cs.FL | 2021-04-05 |
| 不规则双向转换器与FO转换 | Olivier Carton and Luc Dartois | 2103.15651 | cs.FL | 2021-03-30 |
| 关于正则表达式的均匀分布 | Sabine Broda and Ant''onio Machiavelo and Nelma Moreira and Rog''erio Reis | 2103.13175 | cs.FL | 2021-03-25 |
| 一些无穷正则语言家族的非终结符复杂度 | Dmitry Golubenko | 2103.11174 | cs.FL | 2021-03-23 |
| 发现一种实际学习受限单次出现交错正则表达式的算法 | Xiaofan Wang and Xiaolan Zhang | 2103.10546 | cs.FL | 2021-03-22 |
| 将非确定性双向自动机转换为小的确定性线性时间机器 | Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero, Daniel Pr {u}v{s}a | 2103.05485 | cs.FL | 2021-03-11 |
| 减重图灵机 | Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero, Daniel Pr {u}v{s}a | 2103.05486 | cs.FL | 2021-03-11 |
| 关于事件时钟输入驱动下推自动机的确定化 | Mizuhito Ogawa, Alexander Okhotin | 2103.04079 | cs.FL | 2021-03-09 |
| 确定性时态有限状态机的等价检查与交集 | Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko | 2103.04868 | cs.FL | 2021-03-09 |