search strategies / finite prefix following Algorithm / by-product / space search / heuristic search / regression search / concurrent software / depth-first search / reachability analysis tool / partial-order planning algorithms / forward state space search / breadth-first search / state-space search / vs state-space search / forward search method / forward heuristic search algorithm / state space search / /
Organization
University of Adelaide / Australian Defence Science & Technology Organisation / School of Electrical & Electronic Engineering / Australian National Research Council / Australian Government / Australian National University / Computational Intelligence / /
Person
Sylvie Thi / Javier Esparza / David Smith / Rao Kambhampati / Jonathan Billington / Maurice Pagnucco / John Slaney / Tokenplan / Stefan Schwoon / Patrik Haslum / /
Position
reactive planner for synthesizing reactive plans / parallel planner / planner for both satisfaction and optimization problems / planner / IPC planner / /
Planning Via Petri Net Unfolding Sarah Hickmott1 , Jussi Rintanen2 , Sylvie Thi´ebaux2 , Lang White1 National ICT Australia 1 School of Electrical & Electronic Engineering, The University of Adelaide, & 2