Matches in SemOpenAlex for { <https://semopenalex.org/work/W2006607002> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2006607002 endingPage "1441" @default.
- W2006607002 startingPage "1429" @default.
- W2006607002 abstract "A robot swarm is a collection of simple robots designed to work together to carry out some task. Such swarms rely on the simplicity of the individual robots; the fault tolerance inherent in having a large population of identical robots; and the self-organised behaviour of the swarm as a whole. Although robot swarms present an attractive solution to demanding real-world applications, designing individual control algorithms that can guarantee the required global behaviour is a difficult problem. In this paper we assess and apply the use of formal verification techniques for analysing the emergent behaviours of robotic swarms. These techniques, based on the automated analysis of systems using temporal logics, allow us to analyse whether all possible behaviours within the robot swarm conform to some required specification. In particular, we apply model-checking, an automated and exhaustive algorithmic technique, to check whether temporal properties are satisfied on all the possible behaviours of the system. We target a particular swarm control algorithm that has been tested in real robotic swarms, and show how automated temporal analysis can help to refine and analyse such an algorithm." @default.
- W2006607002 created "2016-06-24" @default.
- W2006607002 creator A5001487424 @default.
- W2006607002 creator A5013515770 @default.
- W2006607002 creator A5019835921 @default.
- W2006607002 creator A5020850821 @default.
- W2006607002 date "2012-11-01" @default.
- W2006607002 modified "2023-10-16" @default.
- W2006607002 title "Towards temporal verification of swarm robotic systems" @default.
- W2006607002 cites W1489391022 @default.
- W2006607002 cites W1595895163 @default.
- W2006607002 cites W1793594870 @default.
- W2006607002 cites W1969653154 @default.
- W2006607002 cites W1975134293 @default.
- W2006607002 cites W1976486181 @default.
- W2006607002 cites W1979495062 @default.
- W2006607002 cites W1980392184 @default.
- W2006607002 cites W2002956917 @default.
- W2006607002 cites W2030935018 @default.
- W2006607002 cites W2042087007 @default.
- W2006607002 cites W2057791660 @default.
- W2006607002 cites W2060095702 @default.
- W2006607002 cites W2069437351 @default.
- W2006607002 cites W2103338765 @default.
- W2006607002 cites W2108526989 @default.
- W2006607002 cites W2127574686 @default.
- W2006607002 cites W2157319504 @default.
- W2006607002 doi "https://doi.org/10.1016/j.robot.2012.03.003" @default.
- W2006607002 hasPublicationYear "2012" @default.
- W2006607002 type Work @default.
- W2006607002 sameAs 2006607002 @default.
- W2006607002 citedByCount "51" @default.
- W2006607002 countsByYear W20066070022012 @default.
- W2006607002 countsByYear W20066070022014 @default.
- W2006607002 countsByYear W20066070022015 @default.
- W2006607002 countsByYear W20066070022016 @default.
- W2006607002 countsByYear W20066070022017 @default.
- W2006607002 countsByYear W20066070022018 @default.
- W2006607002 countsByYear W20066070022019 @default.
- W2006607002 countsByYear W20066070022020 @default.
- W2006607002 countsByYear W20066070022021 @default.
- W2006607002 countsByYear W20066070022022 @default.
- W2006607002 countsByYear W20066070022023 @default.
- W2006607002 crossrefType "journal-article" @default.
- W2006607002 hasAuthorship W2006607002A5001487424 @default.
- W2006607002 hasAuthorship W2006607002A5013515770 @default.
- W2006607002 hasAuthorship W2006607002A5019835921 @default.
- W2006607002 hasAuthorship W2006607002A5020850821 @default.
- W2006607002 hasBestOaLocation W20066070022 @default.
- W2006607002 hasConcept C154945302 @default.
- W2006607002 hasConcept C181335050 @default.
- W2006607002 hasConcept C41008148 @default.
- W2006607002 hasConceptScore W2006607002C154945302 @default.
- W2006607002 hasConceptScore W2006607002C181335050 @default.
- W2006607002 hasConceptScore W2006607002C41008148 @default.
- W2006607002 hasIssue "11" @default.
- W2006607002 hasLocation W20066070021 @default.
- W2006607002 hasLocation W20066070022 @default.
- W2006607002 hasOpenAccess W2006607002 @default.
- W2006607002 hasPrimaryLocation W20066070021 @default.
- W2006607002 hasRelatedWork W1971176504 @default.
- W2006607002 hasRelatedWork W1978295341 @default.
- W2006607002 hasRelatedWork W2182034195 @default.
- W2006607002 hasRelatedWork W2184917583 @default.
- W2006607002 hasRelatedWork W2313174805 @default.
- W2006607002 hasRelatedWork W2405814918 @default.
- W2006607002 hasRelatedWork W2762577149 @default.
- W2006607002 hasRelatedWork W3004744844 @default.
- W2006607002 hasRelatedWork W3195174502 @default.
- W2006607002 hasRelatedWork W3203012085 @default.
- W2006607002 hasVolume "60" @default.
- W2006607002 isParatext "false" @default.
- W2006607002 isRetracted "false" @default.
- W2006607002 magId "2006607002" @default.
- W2006607002 workType "article" @default.