| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 准确定向5' -> 3'的Watson-Crick自动机 | Benedek Nagy (Eastern Mediterranean University) | 2208.14730 | cs.FL | 2022-09-01 |
| 关于置换自动机操作的接受状态复杂度 | Christian Rauch (Institut f"ur Informatik, Universit"at Giessen), Markus Holzer (Institut f"ur Informatik, Universit"at Giessen) | 2208.14731 | cs.FL | 2022-09-01 |
| 正则语言的属种可决性和有向仿真器 | Guillaume Bonfante and Florian Deloup | 2109.05735 | cs.FL | 2022-08-30 |
| 从复杂规范中合成变换器 | Anvay Grover, Ruediger Ehlers, Loris D'Antoni | 2208.05131 | cs.FL | 2022-08-30 |
| 第12届非经典模型自动机和应用国际研讨会论文集 | Henning Bordihn, G''eza Horv''ath, Gy"orgy Vaszil | 2208.13015 | cs.FL | 2022-08-30 |
| 解析表达式GLL | Aaron Moss and Brynn Harrington and Emily Hoppe | 2205.04600 | cs.FL | 2022-08-29 |
| 二进制完全可达自动机 | David Casas and Mikhail V. Volkov | 2205.09404 | cs.FL | 2022-08-23 |
| 确定性自底向上名词树自动机的主动学习 | R. Nakanishi, Y. Takata, H. Seki | 2208.08319 | cs.FL | 2022-08-18 |
| 关于明确多项式闭包的一切 | Thomas Place and Marc Zeitoun | 2205.12703 | cs.FL | 2022-08-16 |
| 移动需求的公平规划与时间逻辑请求 | Kaier Liang and Cristian-Ioan Vasile | 2208.04416 | cs.FL | 2022-08-15 |
| 部分字中用Walnut进行正方形和立方体的机械证明 | John Machacek | 2201.05954 | cs.FL | 2022-08-11 |
| 有限词集的程度 | Dominique Perrin and Andrew Ryzhikov | 2106.14471 | cs.FL | 2022-07-28 |
| Ω-正则属性的最优修复 | Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi | 2207.13416 | cs.FL | 2022-07-28 |
| 基于FORQ的语言包含性形式化测试 | Kyveli Doveri, Pierre Ganty, Nicolas Mazzocchi | 2207.13549 | cs.FL | 2022-07-28 |
| Stateflow的机器验证可执行语义 | Shicheng Yi, Shuling Wang, Bohua Zhan and Naijun Zhan | 2207.11965 | cs.FL | 2022-07-26 |
| 使用ASTD规范开发异常检测监控系统 | El Jabri Chaymae, Frappier Marc, Ecarot Thibaud and Tardif Pierre-Martin | 2207.11134 | cs.FL | 2022-07-25 |
| 假设、保证或修复——非规则属性的常规框架（完整版） | Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu and Sarai Sheinvald | 2207.10534 | cs.FL | 2022-07-22 |
| 未知马尔可夫链中的在线监测$omega$-正则属性 | Javier Esparza, Stefan Kiefer, Jan Kretinsky and Maximilian Weininger | 2010.08347 | cs.FL | 2022-07-21 |
| 二维打字机自动机 | Taylor J. Smith | 2207.10016 | cs.FL | 2022-07-21 |
| 定时对齐 | Thomas Chatain (MEXICO, ENS Paris Saclay, LMF, Inria, CNRS), Neha Rino (LMF, ENS Paris Saclay, CNRS, Inria, MEXICO) | 2207.01870 | cs.FL | 2022-07-06 |
| 价值系统中双向可达性的复杂性 | Moses Ganardi, Rupak Majumdar, Georg Zetzsche | 2110.03654 | cs.FL | 2022-06-28 |
| $omega$-代数系统的Greibach正规形式和加权简单$omega$-推动自动机 | Manfred Droste, Sven Dziadek, Werner Kuich | 2007.08866 | cs.FL | 2022-06-24 |
| Mealy机的有效简化 | Florian Renkin (LRDE), Philipp Schlehuber-Caissier (LRDE), Alexandre Duret-Lutz (LRDE), Adrien Pommellet (LRDE) | 2206.10228 | cs.FL | 2022-06-22 |
| 部分同步着色 | A.N. Trahtman | 2206.07116 | cs.FL | 2022-06-16 |
| 输入限制下的Mealy机的符合性测试 | Alberto Larrauri, Roderick Bloem | 2206.07441 | cs.FL | 2022-06-16 |