Towards efficient verification of population protocols.

Michael Blondin Javier Esparza Stefan Jaax Philipp J. Meyer

Published in: Formal Methods Syst. Des. (2021)

Keyphrases

cost effective
data sets
databases
neural network
genetic algorithm
computer vision
digital libraries
evolutionary algorithm
computationally expensive