Matches in SemOpenAlex for { <https://semopenalex.org/work/W1990238385> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1990238385 endingPage "603" @default.
- W1990238385 startingPage "587" @default.
- W1990238385 abstract "NASA is researching advanced technologies for future exploration missions using intelligent swarms of robotic vehicles. One of these missions is the Autonomous Nano-Technology Swarm (ANTS) mission that will explore the asteroid belt using 1,000 cooperative autonomous spacecraft. The emergent properties of intelligent swarms make it a potentially powerful concept, but at the same time more difficult to design and ensure that the proper behaviors will emerge. NASA is investigating formal methods and techniques for verification of such missions. The advantage of using formal methods is the ability to mathematically verify the behavior of a swarm, emergent or otherwise. Using the ANTS mission as a case study, we have evaluated multiple formal methods to determine their effectiveness in modeling and ensuring desired swarm behavior. This paper discusses the results of this evaluation and proposes an integrated formal method for ensuring correct behavior of future NASA intelligent swarms." @default.
- W1990238385 created "2016-06-24" @default.
- W1990238385 creator A5007119340 @default.
- W1990238385 creator A5024816208 @default.
- W1990238385 creator A5088216626 @default.
- W1990238385 creator A5089848487 @default.
- W1990238385 date "2006-08-22" @default.
- W1990238385 modified "2023-10-16" @default.
- W1990238385 title "Experiences applying formal approaches in the development of swarm-based space exploration systems" @default.
- W1990238385 cites W120378874 @default.
- W1990238385 cites W121886191 @default.
- W1990238385 cites W1487313414 @default.
- W1990238385 cites W1561086728 @default.
- W1990238385 cites W1585758771 @default.
- W1990238385 cites W1834540762 @default.
- W1990238385 cites W1991068355 @default.
- W1990238385 cites W2005453221 @default.
- W1990238385 cites W2022160787 @default.
- W1990238385 cites W2024189170 @default.
- W1990238385 cites W2123506866 @default.
- W1990238385 cites W2126554879 @default.
- W1990238385 cites W2127199851 @default.
- W1990238385 cites W2133961629 @default.
- W1990238385 cites W2142672851 @default.
- W1990238385 cites W2155093206 @default.
- W1990238385 cites W2162374547 @default.
- W1990238385 cites W4213388867 @default.
- W1990238385 cites W4234406933 @default.
- W1990238385 cites W4243144664 @default.
- W1990238385 cites W4246981015 @default.
- W1990238385 doi "https://doi.org/10.1007/s10009-006-0027-5" @default.
- W1990238385 hasPublicationYear "2006" @default.
- W1990238385 type Work @default.
- W1990238385 sameAs 1990238385 @default.
- W1990238385 citedByCount "23" @default.
- W1990238385 countsByYear W19902383852012 @default.
- W1990238385 countsByYear W19902383852013 @default.
- W1990238385 countsByYear W19902383852016 @default.
- W1990238385 countsByYear W19902383852021 @default.
- W1990238385 countsByYear W19902383852022 @default.
- W1990238385 crossrefType "journal-article" @default.
- W1990238385 hasAuthorship W1990238385A5007119340 @default.
- W1990238385 hasAuthorship W1990238385A5024816208 @default.
- W1990238385 hasAuthorship W1990238385A5088216626 @default.
- W1990238385 hasAuthorship W1990238385A5089848487 @default.
- W1990238385 hasBestOaLocation W19902383852 @default.
- W1990238385 hasConcept C104060986 @default.
- W1990238385 hasConcept C111498074 @default.
- W1990238385 hasConcept C11413529 @default.
- W1990238385 hasConcept C115903868 @default.
- W1990238385 hasConcept C127413603 @default.
- W1990238385 hasConcept C146978453 @default.
- W1990238385 hasConcept C154945302 @default.
- W1990238385 hasConcept C169337768 @default.
- W1990238385 hasConcept C181335050 @default.
- W1990238385 hasConcept C201995342 @default.
- W1990238385 hasConcept C24858836 @default.
- W1990238385 hasConcept C29829512 @default.
- W1990238385 hasConcept C41008148 @default.
- W1990238385 hasConcept C75606506 @default.
- W1990238385 hasConceptScore W1990238385C104060986 @default.
- W1990238385 hasConceptScore W1990238385C111498074 @default.
- W1990238385 hasConceptScore W1990238385C11413529 @default.
- W1990238385 hasConceptScore W1990238385C115903868 @default.
- W1990238385 hasConceptScore W1990238385C127413603 @default.
- W1990238385 hasConceptScore W1990238385C146978453 @default.
- W1990238385 hasConceptScore W1990238385C154945302 @default.
- W1990238385 hasConceptScore W1990238385C169337768 @default.
- W1990238385 hasConceptScore W1990238385C181335050 @default.
- W1990238385 hasConceptScore W1990238385C201995342 @default.
- W1990238385 hasConceptScore W1990238385C24858836 @default.
- W1990238385 hasConceptScore W1990238385C29829512 @default.
- W1990238385 hasConceptScore W1990238385C41008148 @default.
- W1990238385 hasConceptScore W1990238385C75606506 @default.
- W1990238385 hasIssue "6" @default.
- W1990238385 hasLocation W19902383851 @default.
- W1990238385 hasLocation W19902383852 @default.
- W1990238385 hasOpenAccess W1990238385 @default.
- W1990238385 hasPrimaryLocation W19902383851 @default.
- W1990238385 hasRelatedWork W139424134 @default.
- W1990238385 hasRelatedWork W1515524860 @default.
- W1990238385 hasRelatedWork W1548753397 @default.
- W1990238385 hasRelatedWork W1990238385 @default.
- W1990238385 hasRelatedWork W2116217797 @default.
- W1990238385 hasRelatedWork W2117963953 @default.
- W1990238385 hasRelatedWork W2168715314 @default.
- W1990238385 hasRelatedWork W2533169980 @default.
- W1990238385 hasRelatedWork W2142265729 @default.
- W1990238385 hasRelatedWork W3021630531 @default.
- W1990238385 hasVolume "8" @default.
- W1990238385 isParatext "false" @default.
- W1990238385 isRetracted "false" @default.
- W1990238385 magId "1990238385" @default.
- W1990238385 workType "article" @default.