实体 SemML 2.0

SemML 2.0

PulseAugur coverage of SemML 2.0 — every cluster mentioning SemML 2.0 across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

最近 · 第 1/1 页 · 共 1 条

RESEARCH · CL_06961 · Apr 28 · 04:00

SemML 2.0 工具从 LTL 规范更快地合成反应式系统

研究人员开发了 SemML 2.0，这是一种用于从线性时序逻辑 (LTL) 规范合成反应式系统的新工具。该系统在 SYNTCOMP 合成竞赛中优于 Strix 和 LtlSynt 等现有最先进的工具。SemML 2.0 集成了经典的自动机理论方法与机器学习指导和部分探索，以实现高效的解决方案查找。