@inproceedings{a43ee87ac9ee4cb5a8f26b8ecedf9c6c,
title = "Requirements of an integrated formal method for intelligent swarms",
abstract = "The use of swarm technologies has become prevalent in a variety of application domains: medical, bioinformatics, military/defense, surveillance, even internet television broadcasting. Future NASA missions will exploit such technologies to enable spacecraft to be sent where heretofore it was impossible, to ensure greater protection of space assets, and to increase the likelihood of mission success. We describe some of the basic concepts of swarms, and discuss the requirements of a formal method suitable for use with swarm-based systems. We also present some findings of our FAST (Formal Approaches to Swarm Technologies) project, which is attempting to identify a suitable integrated formal method for this task.",
keywords = "Formal methods, Integrated/hybrid methods, Swarms, Verification",
author = "Hinchey, {M. G.} and Rouff, {C. A.} and Rash, {J. L.} and Truszkowski, {W. F.}",
year = "2005",
doi = "10.1145/1081180.1081196",
language = "English",
isbn = "1595931481",
series = "FMICS'05 - Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems",
publisher = "Association for Computing Machinery (ACM)",
pages = "125--133",
booktitle = "FMICS'05 - Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems",
note = "FMICS'05 - 10th International Workshop on Formal Methods for Industrial Critical Systems ; Conference date: 05-09-2005 Through 06-09-2005",
}