Uniform Dispersal of Asynchronous Finite-State Mobile Robots in Presence of Holes.

Eduardo Mesa Barrameda Shantanu Das Nicola Santoro

Published in: ALGOSENSORS (2013)

Keyphrases

finite state
mobile robot
markov chain
model checking
markov decision processes
path planning
autonomous robots
dynamic environments
tree automata
multi robot
optimal policy
motion control
continuous time bayesian networks
context free
average cost
temporal logic
finite state transducers
action sets
state space