conftrace_
← Keywords

temporal planning

26 papers

Explore in graph

Co-occurring keywords

heuristic search (165) automated planning (151) temporal constraint (16) formal verification (277) satisfiability modulo theory (8) forward search (7) optimal planning (31) multi-robot system (62) action planning (40) pddl planning (7)

Papers

Faster Conflict Generation for Dynamic Controllability IJCAI 2017