Login / Signup
Dynamic Controllability of Conditional Simple Temporal Networks is PSPACE-complete.
Massimo Cairo
Romeo Rizzi
Published in:
CoRR (2016)
Keyphrases
</>
simple temporal
temporal constraints
pspace complete
temporal reasoning
np complete
model checking
satisfiability problem
strips planning
decision problems
plan execution
temporal planning