Identifiers in Registers - Describing Network Algorithms with Logic.

Benedikt Bollig Patricia Bouyer Fabian Reiter

Published in: FoSSaCS (2019)

Keyphrases

computational complexity
theoretical analysis
learning algorithm
computational cost
benchmark datasets
orders of magnitude
image segmentation
wireless sensor networks
optimization problems
complex networks
times faster
graph theory
real time
reinforcement learning
computational efficiency