Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples.

Oday Jubran Eike Möhlmann Oliver E. Theel

Published in: SSS (2015)

Keyphrases

structural properties
data sets
special case
topological properties
database
machine learning
e learning
image processing
case study
lower bound
expert systems
artificial neural networks
control system
finite number