PulseAugur
EN
LIVE 11:44:51
ENTITY 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
Total · 30d
1
1 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
1 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 1 TOTAL
  1. TOOL · CL_27511 ·

    New algorithm solves complex infinite-state reachability games

    Researchers have developed a new automated algorithm for solving infinite-state polynomial reachability games, which have applications in artificial intelligence and reactive synthesis. The proposed method utilizes rank…