Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System.

Nils Müllner Oliver E. Theel Martin Fränzle

Published in: AINA (2012)

Keyphrases

state space
neural network
real time
information systems
case study
image sequences
similarity measure
reinforcement learning
heuristic search