Mechanical Verification of Distributed Algorithms in Higher-Order Logic.

Ching-Tsun Chou

Published in: TPHOLs (1994)

Keyphrases

decision trees
distributed environment
multi agent
distributed systems
machine learning
learning algorithm
feature space
general purpose