conftrace_

dense time

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

discrete time (1) pddl 2.1 (1) action overlap (1) action planning (1) automated reasoning (1) computational complexity (1) temporal planning (1)

Papers

Decidability and Complexity of Action-Based Temporal Planning over Dense Time AAAI 2020