PulseAugur
实时 20:48:47
实体 CROWN-style linear bound propagation

CROWN-style linear bound propagation

PulseAugur coverage of CROWN-style linear bound propagation — every cluster mentioning CROWN-style linear bound propagation 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_51039 ·

    新框架为神经机器人学实现可微分可达性

    研究人员开发了一个新的可并行化、可微分的可达性框架,专为连续时间和离散时间系统设计。该框架集成了泰勒模型流管体(flowpipe)构建和线性边界传播,支持 GPU 批量计算和自动微分。该系统支持基于分析和神经网络的动力学及控制器,为机器人学中闭环神经系统在不确定性下的形式化保证提供了途径。