PulseAugur
中
实时 11:46:48
实体 Ehsan Kafshdar Goharshady

Ehsan Kafshdar Goharshady

PulseAugur coverage of Ehsan Kafshdar Goharshady — every cluster mentioning Ehsan Kafshdar Goharshady 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 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_27511 ·

    新算法解决复杂的无限状态可达性博弈

    研究人员开发了一种新的自动化算法，用于求解无限状态多项式可达性博弈，该博弈在人工智能和反应式合成中有应用。所提出的方法利用排名证书作为证明规则，以展示“REACH”玩家的获胜策略。该算法是可靠的、半完备的，并且运行时间为亚指数级，在复杂示例上优于现有方法。