Towards a Hybrid Formal Method for Swarm-Based Exploration Missions.

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

Browse the full SEW paper archive.