Local Verification Using a Distributed State Space.

Chiheb Ameur Abid Belhassen Zouari

Published in: Fundam. Informaticae (2013)

Keyphrases

state space
distributed systems
cooperative
heuristic search
reinforcement learning
multi agent
distributed environment
optimal policy
model checking
distributed data
dynamic programming
planning problems
peer to peer
communication cost
lightweight
databases
face recognition
neural network