Verifying Large Numbers of Cooperating Adaptive Agents.

Christopher A. Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash

Browse the full ICPADS paper archive.