Refinement-Based Verification of Local Synchronization Algorithms.

Dominique Méry Mohamed Mosbah Mohamed Tounsi

Published in: FM (2011)

Keyphrases

recently developed
computational complexity
computationally efficient
learning algorithm
website
computational cost
orders of magnitude
step wise
case study
reinforcement learning
optimization problems
particle swarm optimization
benchmark datasets
petri net
times faster