研究人员开发了 SemML 2.0，这是一种用于从线性时序逻辑 (LTL) 规范合成反应式系统的新工具。该系统在 SYNTCOMP 合成竞赛中优于 Strix 和 LtlSynt 等现有最先进的工具。SemML 2.0 集成了经典的自动机理论方法与机器学习指导和部分探索，以实现高效的解决方案查找。 AI
影响 提高了从形式规范合成安全关键系统的效率和范围。
排序理由 详细介绍新系统合成工具的学术论文。
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
SemML 2.0 工具从 LTL 规范更快地合成反应式系统
报道来源 [1]
-
SemML 2.0: Synthesizing Controllers for LTL
arXiv:2604.24102v1 Announce Type: new Abstract: Synthesizing a reactive system from specifications given in linear temporal logic (LTL) is a classical problem, finding its applications in safety-critical systems design. These systems are typically represented using either Mealy m…