Automatic Analysis of Expected Termination Time for Population Protocols.

Michael Blondin Javier Esparza Antonín Kucera

Published in: CoRR (2018)

Keyphrases

automatic analysis
automatic assessment
communication protocols
body movements
case study
active rules
population size
manual annotation
genetic algorithm
multi objective
communication protocol
key distribution
vessel tree
sleep apnea