Finite-State Robots in a Warehouse: Achieving Linear Parallel Speedup While Rearranging Objects.

Arnold L. Rosenberg

Published in: ICPP (2013)

Keyphrases

finite state
markov chain
model checking
markov decision processes
optimal policy
multi robot
mobile robot
robotic systems
data warehouse
temporal logic
dynamic programming
partially observable markov decision processes
context free
tree automata
action sets
probabilistic context free grammars