Matches in SemOpenAlex for { <https://semopenalex.org/work/W2127199851> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2127199851 abstract "The emergent properties of swarms make swarm-based missions powerful, but at the same time more difficult to design and to assure that the proper behaviors emerge. We are currently investigating formal methods and techniques for verification and validation of swarm-based missions. The Autonomous Nano-Technology Swarm (ANTS) mission is being used as an example and case study for swarm-based missions to experiment and test current formal methods with intelligent swarms. Using the ANTS mission, we have evaluated multiple formal methods to determine their effectiveness in modeling and assuring swarm behavior. This paper introduces how intelligent swarm technology is being proposed for NASA missions, and gives the results of a comparison of several formal methods and approaches for specifying intelligent swarm-based systems and their effectiveness for predicting emergent behavior." @default.
- W2127199851 created "2016-06-24" @default.
- W2127199851 creator A5024816208 @default.
- W2127199851 creator A5035306868 @default.
- W2127199851 creator A5067447292 @default.
- W2127199851 creator A5088216626 @default.
- W2127199851 creator A5089848487 @default.
- W2127199851 date "2004-11-13" @default.
- W2127199851 modified "2023-09-28" @default.
- W2127199851 title "Verification of emergent behaviors in swarm-based systems" @default.
- W2127199851 cites W1483025148 @default.
- W2127199851 cites W1566925011 @default.
- W2127199851 cites W1991068355 @default.
- W2127199851 cites W2024189170 @default.
- W2127199851 cites W2026535522 @default.
- W2127199851 cites W2133961629 @default.
- W2127199851 cites W2164989576 @default.
- W2127199851 cites W2176300081 @default.
- W2127199851 doi "https://doi.org/10.1109/ecbs.2004.1316730" @default.
- W2127199851 hasPublicationYear "2004" @default.
- W2127199851 type Work @default.
- W2127199851 sameAs 2127199851 @default.
- W2127199851 citedByCount "12" @default.
- W2127199851 crossrefType "proceedings-article" @default.
- W2127199851 hasAuthorship W2127199851A5024816208 @default.
- W2127199851 hasAuthorship W2127199851A5035306868 @default.
- W2127199851 hasAuthorship W2127199851A5067447292 @default.
- W2127199851 hasAuthorship W2127199851A5088216626 @default.
- W2127199851 hasAuthorship W2127199851A5089848487 @default.
- W2127199851 hasBestOaLocation W21271998512 @default.
- W2127199851 hasConcept C111498074 @default.
- W2127199851 hasConcept C11413529 @default.
- W2127199851 hasConcept C119487961 @default.
- W2127199851 hasConcept C119857082 @default.
- W2127199851 hasConcept C127413603 @default.
- W2127199851 hasConcept C154945302 @default.
- W2127199851 hasConcept C169337768 @default.
- W2127199851 hasConcept C181335050 @default.
- W2127199851 hasConcept C199360897 @default.
- W2127199851 hasConcept C201995342 @default.
- W2127199851 hasConcept C2985583900 @default.
- W2127199851 hasConcept C41008148 @default.
- W2127199851 hasConcept C85617194 @default.
- W2127199851 hasConceptScore W2127199851C111498074 @default.
- W2127199851 hasConceptScore W2127199851C11413529 @default.
- W2127199851 hasConceptScore W2127199851C119487961 @default.
- W2127199851 hasConceptScore W2127199851C119857082 @default.
- W2127199851 hasConceptScore W2127199851C127413603 @default.
- W2127199851 hasConceptScore W2127199851C154945302 @default.
- W2127199851 hasConceptScore W2127199851C169337768 @default.
- W2127199851 hasConceptScore W2127199851C181335050 @default.
- W2127199851 hasConceptScore W2127199851C199360897 @default.
- W2127199851 hasConceptScore W2127199851C201995342 @default.
- W2127199851 hasConceptScore W2127199851C2985583900 @default.
- W2127199851 hasConceptScore W2127199851C41008148 @default.
- W2127199851 hasConceptScore W2127199851C85617194 @default.
- W2127199851 hasLocation W21271998511 @default.
- W2127199851 hasLocation W21271998512 @default.
- W2127199851 hasOpenAccess W2127199851 @default.
- W2127199851 hasPrimaryLocation W21271998511 @default.
- W2127199851 hasRelatedWork W10394924 @default.
- W2127199851 hasRelatedWork W1515524860 @default.
- W2127199851 hasRelatedWork W1978295341 @default.
- W2127199851 hasRelatedWork W2127199851 @default.
- W2127199851 hasRelatedWork W2184917583 @default.
- W2127199851 hasRelatedWork W2782624333 @default.
- W2127199851 hasRelatedWork W2900533490 @default.
- W2127199851 hasRelatedWork W3004744844 @default.
- W2127199851 hasRelatedWork W3021805378 @default.
- W2127199851 hasRelatedWork W3046582213 @default.
- W2127199851 isParatext "false" @default.
- W2127199851 isRetracted "false" @default.
- W2127199851 magId "2127199851" @default.
- W2127199851 workType "article" @default.