Formal Verification of Conflict Detection Algorithms.

Ricky W. Butler Victor Carreño Gilles Dowek César A. Muñoz

Published in: CHARME (2001)

Keyphrases

formal verification
learning algorithm
orders of magnitude
conflict detection
multi agent
computational complexity
digital libraries
software engineering
fine grained
graph theory
model checker