Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287123023> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4287123023 abstract "Communication is a critical part of enabling multi-agent systems to cooperate. This means that applying formal methods to protocols governing communication within multi-agent systems provides useful confidence in its reliability. In this paper, we describe the formal verification of a complex communication protocol that coordinates agents merging maps of their environment. The protocol was used by the LFC team in the 2019 edition of the Multi-Agent Programming Contest (MAPC). Our specification of the protocol is written in Communicating Sequential Processes (CSP), which is a well-suited approach to specifying agent communication protocols due to its focus on concurrent communicating systems. We validate the specification's behaviour using scenarios where the correct behaviour is known, and verify that eventually all the maps have merged." @default.
- W4287123023 created "2022-07-25" @default.
- W4287123023 creator A5026569054 @default.
- W4287123023 creator A5053767784 @default.
- W4287123023 date "2021-06-08" @default.
- W4287123023 modified "2023-09-27" @default.
- W4287123023 title "Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest" @default.
- W4287123023 doi "https://doi.org/10.48550/arxiv.2106.04512" @default.
- W4287123023 hasPublicationYear "2021" @default.
- W4287123023 type Work @default.
- W4287123023 citedByCount "0" @default.
- W4287123023 crossrefType "posted-content" @default.
- W4287123023 hasAuthorship W4287123023A5026569054 @default.
- W4287123023 hasAuthorship W4287123023A5053767784 @default.
- W4287123023 hasBestOaLocation W42871230231 @default.
- W4287123023 hasConcept C111498074 @default.
- W4287123023 hasConcept C116253237 @default.
- W4287123023 hasConcept C120314980 @default.
- W4287123023 hasConcept C121332964 @default.
- W4287123023 hasConcept C12269588 @default.
- W4287123023 hasConcept C142724271 @default.
- W4287123023 hasConcept C155214134 @default.
- W4287123023 hasConcept C156325763 @default.
- W4287123023 hasConcept C163258240 @default.
- W4287123023 hasConcept C17744445 @default.
- W4287123023 hasConcept C184337299 @default.
- W4287123023 hasConcept C199360897 @default.
- W4287123023 hasConcept C199539241 @default.
- W4287123023 hasConcept C204787440 @default.
- W4287123023 hasConcept C2777582232 @default.
- W4287123023 hasConcept C2780385302 @default.
- W4287123023 hasConcept C31258907 @default.
- W4287123023 hasConcept C41008148 @default.
- W4287123023 hasConcept C43214815 @default.
- W4287123023 hasConcept C62520636 @default.
- W4287123023 hasConcept C71924100 @default.
- W4287123023 hasConcept C75606506 @default.
- W4287123023 hasConceptScore W4287123023C111498074 @default.
- W4287123023 hasConceptScore W4287123023C116253237 @default.
- W4287123023 hasConceptScore W4287123023C120314980 @default.
- W4287123023 hasConceptScore W4287123023C121332964 @default.
- W4287123023 hasConceptScore W4287123023C12269588 @default.
- W4287123023 hasConceptScore W4287123023C142724271 @default.
- W4287123023 hasConceptScore W4287123023C155214134 @default.
- W4287123023 hasConceptScore W4287123023C156325763 @default.
- W4287123023 hasConceptScore W4287123023C163258240 @default.
- W4287123023 hasConceptScore W4287123023C17744445 @default.
- W4287123023 hasConceptScore W4287123023C184337299 @default.
- W4287123023 hasConceptScore W4287123023C199360897 @default.
- W4287123023 hasConceptScore W4287123023C199539241 @default.
- W4287123023 hasConceptScore W4287123023C204787440 @default.
- W4287123023 hasConceptScore W4287123023C2777582232 @default.
- W4287123023 hasConceptScore W4287123023C2780385302 @default.
- W4287123023 hasConceptScore W4287123023C31258907 @default.
- W4287123023 hasConceptScore W4287123023C41008148 @default.
- W4287123023 hasConceptScore W4287123023C43214815 @default.
- W4287123023 hasConceptScore W4287123023C62520636 @default.
- W4287123023 hasConceptScore W4287123023C71924100 @default.
- W4287123023 hasConceptScore W4287123023C75606506 @default.
- W4287123023 hasLocation W42871230231 @default.
- W4287123023 hasOpenAccess W4287123023 @default.
- W4287123023 hasPrimaryLocation W42871230231 @default.
- W4287123023 hasRelatedWork W1965164474 @default.
- W4287123023 hasRelatedWork W1979390572 @default.
- W4287123023 hasRelatedWork W2052538955 @default.
- W4287123023 hasRelatedWork W2113201355 @default.
- W4287123023 hasRelatedWork W2387645942 @default.
- W4287123023 hasRelatedWork W2615610433 @default.
- W4287123023 hasRelatedWork W2913145745 @default.
- W4287123023 hasRelatedWork W3151628986 @default.
- W4287123023 hasRelatedWork W3172136275 @default.
- W4287123023 hasRelatedWork W4287123023 @default.
- W4287123023 isParatext "false" @default.
- W4287123023 isRetracted "false" @default.
- W4287123023 workType "article" @default.