Login / Signup
Relocating Units in Robot Swarms with Uniform Control Signals is PSPACE-Complete.
David Caballero
Angel A. Cantu
Timothy Gomez
Austin Luchsinger
Robert T. Schweller
Tim Wylie
Published in:
CCCG (2020)
Keyphrases
</>
control signals
pspace complete
np complete
model checking
decision problems
satisfiability problem
strips planning
neural network
np hard
temporal logic
learning algorithm
sound source
tree automata
audio visual
causal graph
multi modal
knowledge base