PulseAugur
实时 05:50:38
实体 Lening Li

Lening Li

PulseAugur coverage of Lening Li — every cluster mentioning Lening Li 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_219029 ·

    新方法利用时序逻辑增强连续系统的策略合成

    研究人员开发了一种用于连续状态随机动态系统策略合成的新方法,该方法使用线性时序逻辑来处理高级规范。他们的方法包括将动态系统与从规范派生的自动机进行组合,并在所得的乘积系统上解决最优规划问题。为了克服混合状态空间中的稀疏奖励问题,他们引入了一种广义的最优备份顺序,该顺序指导值备份并加速学习,同时保持最优性。提出了一种Actor-Critic强化学习算法,该算法利用增广拉格朗日方法进行策略评估,并采用模块化学习,为每个自动机状态使用单独的…