Towards Efficient Verification of Population Protocols.

Michael Blondin Javier Esparza Stefan Jaax Philipp J. Meyer

Published in: PODC (2017)

Keyphrases

data sets
databases
machine learning
lightweight
computationally efficient
cost effective
formal analysis