Checking Interval Properties of Computations.

Alberto Molinari Angelo Montanari Aniello Murano Giuseppe Perelli Adriano Peron

Published in: CoRR (2016)

Keyphrases

decision making
structural properties
desirable properties
social networks
image segmentation
cooperative
computational complexity
digital libraries
evolutionary algorithm
mobile robot
key properties