Skip to main content
CenXiv.org
此网站处于试运行阶段,支持我们!
我们衷心感谢所有贡献者的支持。
贡献
赞助
cenxiv logo > cs.FL

帮助 | 高级搜索

形式语言与自动机理论

最近提交的作者和标题

  • 2025年11月19日, 星期三
  • 2025年11月18日, 星期二
  • 2025年11月17日, 星期一
  • 2025年11月14日, 星期五
  • 2025年11月13日, 星期四

查看今天的 新的 变化

总共 13 条目
显示最多 50 每页条目: 较少 | 更多 | 所有

2025年11月19日, 星期三 (展示 3 之 3 条目 )

[1] arXiv:2511.09703 (交叉列表自 cs.FL) [中文pdf, pdf, 其他]
标题: 谱方法和组合方法用于高效计算无歧义有限自动机的秩
标题: Spectral and combinatorial methods for efficiently computing the rank of unambiguous finite automata
Mahdi Etumi (University of Manchester), Hazel M. Taylor (University of Manchester), Marie Farrell (University of Manchester)
主题: 形式语言与自动机理论 (cs.FL) ; 数据结构与算法 (cs.DS) ; 符号计算 (cs.SC)
[2] arXiv:2511.14438 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]
标题: 面向空间机器人任务的需求模式目录
标题: Towards A Catalogue of Requirement Patterns for Space Robotic Missions
Mehrnoush Hajnorouzi (German Aerospace Center (DLR) e.V.), Astrid Rakow (German Aerospace Center (DLR) e.V.), Martin Fränzle (Carl von Ossietzky Universität Oldenburg)
评论: 在FMAS 2025会议论文集中,arXiv:2511.13245
期刊参考: EPTCS 436,2025,第136-166页
主题: 计算机科学中的逻辑 (cs.LO) ; 形式语言与自动机理论 (cs.FL) ; 机器人技术 (cs.RO) ; 软件工程 (cs.SE)
[3] arXiv:2511.11072 (交叉列表自 cs.FL) [中文pdf, pdf, 其他]
标题: 无需自动机的跟踪检查监控(扩展版本)
标题: Automata-less Monitoring via Trace-Checking (Extended Version)
Hugo Gimbert, Corto Mascle, Patrick Totzke
主题: 形式语言与自动机理论 (cs.FL) ; 计算机科学中的逻辑 (cs.LO)

2025年11月18日, 星期二 (展示 6 之 6 条目 )

[4] arXiv:2511.11829 (交叉列表自 cs.CL) [中文pdf, pdf, html, 其他]
标题: 面向LLM生成输出的自动形式化用于需求验证
标题: Towards Autoformalization of LLM-generated Outputs for Requirement Verification
Ali Movaghar
评论: 待投稿
主题: 计算与语言 (cs.CL) ; 人工智能 (cs.AI) ; 形式语言与自动机理论 (cs.FL) ; 计算机科学中的逻辑 (cs.LO)
[5] arXiv:2511.12315 (交叉列表自 cs.LG) [中文pdf, pdf, 其他]
标题: 有理数上的符号自动机的主动学习
标题: Active Learning of Symbolic Automata Over Rational Numbers
Dana Fisman, Noa Izsak
主题: 机器学习 (cs.LG) ; 形式语言与自动机理论 (cs.FL)
[6] arXiv:2511.10627 (交叉列表自 cs.AI) [中文pdf, pdf, html, 其他]
标题: 带有情景程序的标记时间序列数据查询
标题: Querying Labeled Time Series Data with Scenario Programs
S. Mahmoud Mousawi, Sandra Zilles
期刊参考: NASA形式化方法会议2025
主题: 人工智能 (cs.AI) ; 计算机视觉与模式识别 (cs.CV) ; 形式语言与自动机理论 (cs.FL) ; 机器学习 (cs.LG)
[7] arXiv:2511.09073 (交叉列表自 cs.FL) [中文pdf, pdf, html, 其他]
标题: 针对随机LTL规划的MDP状态缩减
标题: Good-for-MDP State Reduction for Stochastic LTL Planning
Francisco Abreu, Luís Cruz, Sérgio Guerreiro
评论: 16页,包括附录,已被AAAI 2026接收;修正了一些拼写错误
主题: 形式语言与自动机理论 (cs.FL) ; 人工智能 (cs.AI) ; 计算机科学与博弈论 (cs.GT)
[8] arXiv:2511.13661 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]
标题: 基于本体的流程规范模型到模型转换
标题: Ontology-Driven Model-to-Model Transformation of Workflow Specifications
Sebastian Hagedorn, Martín Muñoz, Cristian Riveros, Rodrigo Toro Icarte
主题: 软件工程 (cs.SE) ; 形式语言与自动机理论 (cs.FL)
[9] arXiv:2511.12039 (交叉列表自 cs.FL) [中文pdf, pdf, html, 其他]
标题: 关系模式语言的正特征集
标题: Positive Characteristic Sets for Relational Pattern Languages
Mihir Gupte, Ramesh S
主题: 形式语言与自动机理论 (cs.FL)

2025年11月17日, 星期一 (展示 1 之 1 条目 )

[10] arXiv:2511.13806 (交叉列表自 math.OC) [中文pdf, pdf, 其他]
标题: 最优顺序流
标题: Optimal Sequential Flows
Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno
主题: 优化与控制 (math.OC) ; 数据结构与算法 (cs.DS) ; 形式语言与自动机理论 (cs.FL)

2025年11月14日, 星期五 (展示 2 之 2 条目 )

[11] arXiv:2511.12974 (交叉列表自 cs.FL) [中文pdf, pdf, html, 其他]
标题: 受控随机活动网络的形式基础
标题: Formal Foundations for Controlled Stochastic Activity Networks
Stefan Kiefer, Andrew Ryzhikov
评论: 91页。提交给《信息与计算》期刊的手稿的扩展版本。包括额外的结果、证明和技术附录
主题: 形式语言与自动机理论 (cs.FL) ; 计算机科学中的逻辑 (cs.LO)
[12] arXiv:2511.12656 (交叉列表自 cs.FL) [中文pdf, pdf, html, 其他]
标题: 原子滑翔机和CA作为语言生成器(扩展版)
标题: Atomic Gliders and CA as Language Generators (Extended Version)
Edward Kim, Devan Shanker, Varun Bharadwaj, Hongbeen Park, Jinkyu Kim, Hazem Torfah, Daniel J Fremont, Sanjit A Seshia
评论: 34页,7图。被接受至VMCAI 2026的论文的扩展版本,包含附录
主题: 形式语言与自动机理论 (cs.FL)

2025年11月13日, 星期四 (展示 1 之 1 条目 )

[13] arXiv:2511.14437 (交叉列表自 cs.HC) [中文pdf, pdf, html, 其他]
标题: 基于模型学习的HCPS自动化水平调整
标题: Model Learning for Adjusting the Level of Automation in HCPS
Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang
评论: 在FMAS 2025会议论文集中,arXiv:2511.13245
期刊参考: EPTCS 436,2025,第96-113页
主题: 人机交互 (cs.HC) ; 形式语言与自动机理论 (cs.FL)
总共 13 条目
显示最多 50 每页条目: 较少 | 更多 | 所有
  • 关于
  • 帮助
  • contact arXivClick here to contact arXiv 联系
  • 订阅 arXiv 邮件列表点击这里订阅 订阅
  • 版权
  • 隐私政策
  • 网络无障碍帮助
  • arXiv 运营状态
    通过...获取状态通知 email 或者 slack

京ICP备2025123034号