Dynamic Controllability of Conditional Simple Temporal Networks Is PSPACE-complete.

Massimo Cairo Romeo Rizzi

Published in: TIME (2016)

Keyphrases

simple temporal
temporal constraints
pspace complete
temporal reasoning
np complete
model checking
satisfiability problem
dynamic environments
decision problems
temporal planning
heuristic search
temporal logic
tree automata
strips planning