4 citations · 7 across the 14 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.AI2019
Learning Neural Search Policies for Classical Planning
Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo +1
Heuristic forward search is currently the dominant paradigm in classical planning. Forward search algorithms typically rely on a single, relatively simple variation of best-first s…
cs.LO2019★ 1 cited
Minimal Assumptions Refinement for GR(1) Specifications
Davide G. Cavezza, Dalal Alrajeh, Andras Gyorgy
Reactive synthesis is concerned with finding a correct-by-construction controller from formal specifications, typically expressed in Linear Temporal Logic (LTL). The specifications…