PulseAugur
中
实时 01:48:21
实体 Angluin's $L^*$ algorithm

Angluin's $L^*$ algorithm

PulseAugur coverage of Angluin's $L^*$ algorithm — every cluster mentioning Angluin's $L^*$ algorithm 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_34515 ·

    新框架结合采样和模型检测来合成POMDP策略

    研究人员开发了一个新的框架，用于合成部分可观察马尔可夫决策过程（POMDP）的策略，POMDP用于不确定性下的决策。该方法结合了可扩展但缺乏正式保证的基于采样的方法，以及提供正确性但难以扩展的形式化综合技术。通过使用采样作为成员预言机和模型检测作为等价预言机，该框架可以合成具有正式保证的有限状态控制器，在安全关键型应用中显示出潜力。