PulseAugur
实时 06:34:42
实体 Metric interval temporal logic

Metric interval temporal logic

PulseAugur coverage of Metric interval temporal logic — every cluster mentioning Metric interval temporal logic 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_231422 ·

    新框架实现对富有表现力的时序逻辑的精确被动学习

    研究人员开发了一个新颖的框架,用于精确地被动学习度量区间时序逻辑(MITL),这是一种对验证实时系统至关重要的富有表现力的时序逻辑。该方法通过将时序学习问题简化为可扩展的非时序问题,解决了在没有预定义模板或受限逻辑片段的情况下学习MITL的挑战。该方法识别正负迹之间的定量时间差异,以合成精确的时序约束,然后将这些约束作为新的布尔原子命题集成。该技术允许将复杂的公式评估委托给优化的、现成的非时序LTL工具,并且该框架已被证明是完整的,保…