形式语言与自动机理论

最近提交的作者和标题

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

查看今天的 新的 变化

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)