实体
satisfiability modulo theories
satisfiability modulo theories
PulseAugur coverage of satisfiability modulo theories — every cluster mentioning satisfiability modulo theories across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
New k-NBCs enhance safety for unknown nonlinear systems
Researchers have developed k-inductive neural barrier certificates (k-NBCs) to enhance safety guarantees for nonlinear systems with unknown dynamics. This method relaxes traditional safety constraints by allowing tempor…
-
New SMT-based algorithm learns weighted automata efficiently
Researchers have developed a new SMT-based active learning algorithm for nondeterministic weighted automata (WFAs). This method offers a practical and robust alternative to existing techniques, producing minimal WFAs an…