The Complexity of Verifying Population Protocols.

Javier Esparza Stefan Jaax Mikhail A. Raskin Chana Weil-Kennedy

Published in: CoRR (2019)

Keyphrases

model checking
databases
computational cost
database
real time
machine learning
genetic algorithm
computational complexity
authentication protocol
lower complexity