Discretizing the State Space of Multiple Moving Robots to Verify Visibility Properties.
Ali Narenji SheshkalaniRamtin KhosraviMohammad K. FallahPublished in: TAROS (2015)
Keyphrases
- state space
- real time
- desirable properties
- heuristic search
- optimal policy
- markov chain
- human robot
- robot control
- reinforcement learning algorithms
- mobile robot
- dynamic programming
- search space
- cooperative
- real world
- path planning
- dynamic systems
- structural properties
- human robot interaction
- rule induction
- reinforcement learning
- social networks