Santa Claus: Formal analysis of a process-oriented solution.

Peter H. Welch Jan Bækgaard Pedersen

Published in: ACM Trans. Program. Lang. Syst. (2010)

Keyphrases

formal analysis
process oriented
computer supported
formal methods
optimal solution
goal oriented
learning algorithm
learning systems
agent model