PulseAugur
中
实时 14:10:12
实体 Sadık Bera Yüksel

Sadık Bera Yüksel

PulseAugur coverage of Sadık Bera Yüksel — every cluster mentioning Sadık Bera Yüksel 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_338523 ·

    机器人基础模型通过新框架获得形式化约束满足能力

    研究人员开发了一个新框架，以确保机器人基础模型在执行过程中遵守复杂的操作约束。这种面向规范的方法可以优化动作分布，以满足信号时序逻辑（STL）的要求，例如有时间限制的目标和安全条件，而无需改变模型的核心参数。该方法已在各种环境和规范下使用先进的机器人基础模型进行模拟验证。