State space generation for the HAVi leader election protocol.

Yaroslav S. Usenko

Published in: Sci. Comput. Program. (2002)

Keyphrases

state space
reinforcement learning
heuristic search
dynamical systems
state variables
dynamic programming
markov decision processes
optimal policy
mobile robot
markov chain
generation process
formal analysis
coloured petri nets
neural network
communication protocols
lightweight
search space
machine learning