Peregrine: A Tool for the Analysis of Population Protocols.

Michael Blondin Javier Esparza Stefan Jaax

Published in: CAV (1) (2018)

Keyphrases

analysis tool
objective function
visualization tool
artificial intelligence
image segmentation
data structure
digital libraries
statistical analysis
quantitative analysis