Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems.

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

Browse the full SEFM paper archive.