The CR-UAV Problem is PSPACE-Complete.

Hsi-Ming Ho Joël Ouaknine

Published in: CoRR (2014)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
exptime complete
strips planning
unmanned aerial vehicles
tree automata
dynamic environments
temporal logic
causal graph
np hard
database
phase transition
coalition logic
finite state
query language
computational complexity