A Framework for Certified Self-Stabilization.

Karine Altisen Pierre Corbineau Stéphane Devismes

Published in: CoRR (2016)

Keyphrases

motion estimation
main contribution
preprocessing
three dimensional
reinforcement learning
search algorithm
probabilistic model
probability distribution
theoretical framework