PulseAugur
中
实时 08:56:23
实体 modal $\mu$-calculus

modal $\mu$-calculus

PulseAugur coverage of modal $\mu$-calculus — every cluster mentioning modal $\mu$-calculus across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_254238 ·

    新型循环GNN实现可验证的符号解释

    研究人员开发了一种新型循环图神经网络（GNN），它利用基于集合的聚合，摆脱了传统的多重集合聚合方法。这一进展使得可以直接从网络的权重中获得对其行为的可验证解释，无需外部停止信号或计数逻辑。该工作在这些网络与模态mu演算的一个特定片段（表示为B$\Sigma^{\circ}_1$）之间建立了双向等价关系，该片段精确地捕捉了有限词汇上的稳定性。