Verification in Higher Order Logic of Mutual Exclusion Algorithm.

Victor Carreño

Published in: HUG (1993)

Keyphrases

dynamic programming
learning algorithm
computational complexity
np hard
genetic programming
mutual exclusion
artificial intelligence
optimal solution
probabilistic model
general purpose
orders of magnitude