“…Previous work applied a variety of notations to the modeling of discrete robot tasks: temporal logics [3,36,47], structured and natural language [46,59], logical knowledge bases [25,75], the Planning Domain Definition Language (PDDL) [30,61,72], and context-free grammars [14,58,79]. Each notation provides advantages for certain domains or proprieties, e.g., safety properties are easily specified with temporal logics, action effects with PDDL, and hierarchies with grammars.…”