PulseAugur
中
实时 10:26:14
实体 Spatio-Temporal Logic with Graph Operators

Spatio-Temporal Logic with Graph Operators

PulseAugur coverage of Spatio-Temporal Logic with Graph Operators — every cluster mentioning Spatio-Temporal Logic with Graph Operators 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_117143 ·

    为多智能体时空逻辑开发新框架

    研究人员开发了一个新的代数框架，用于定义带图算子的时空逻辑 (STL-GO) 的定量语义。该逻辑通过引入图算子来扩展信号时态逻辑 (STL)，这些算子可以计算满足特定属性的邻近智能体数量。新框架将时间聚合与图算子聚合分开，并证明了其可靠性和完备性取决于单调性条件。该系统在模拟的多智能体环境中实现并进行了测试，包括 Dubins 汽车动力学场景和地-卫星系统，并评估了四种不同的语义实例化。