The Cyclic-Routing UAV Problem is PSPACE-Complete.
Hsi-Ming HoJoël OuakninePublished in: FoSSaCS (2015)
Keyphrases
- pspace complete
- np complete
- model checking
- satisfiability problem
- decision problems
- strips planning
- constraint satisfaction problems
- unmanned aerial vehicles
- tree automata
- temporal logic
- np hard
- cellular automata
- integrity constraints
- causal graph
- phase transition
- database
- utility function
- computational complexity
- metadata