PulseAugur
中
实时 08:59:54
实体 Mihaela-Larisa Clement

Mihaela-Larisa Clement

PulseAugur coverage of Mihaela-Larisa Clement — every cluster mentioning Mihaela-Larisa Clement 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_312840 ·

    新框架改进了控制系统的神经安全证书

    研究人员开发了一个新的框架，用于训练神经哈密顿-雅可比（HJ）安全证书，这对于确保控制系统安全至关重要。该方法使用安全约束的概率枚举来识别和纠正违规行为，生成有针对性的反例，从而提高学习到的证书的准确性。改进后的证书增强了认证区域并减少了认证时间，并且基于这些证书的屏蔽机制已在现实模拟和自动驾驶赛车环境中成功测试，显示零安全约束违规。