Matches in SemOpenAlex for { <https://semopenalex.org/work/W2793787823> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2793787823 abstract "Multi-Agent paradigm offers a viable solution to the increasing needs for smart and crisis system that reacts accordingly to the environment changes. The researches have largely focused on studying the development of the various approaches that deals with designing and implementing the multi-agent system. However, there is a lack in approaches that treat in depth the specification aspect of the Multi-Agent systems engineering process, which is important to better define and describe the behavior of the agents. This paper is interested in studying the specification and the verification of Multi-Agent behavior, it proposes in consequence an effective method called BECAMEDA. It is based on an iterative process that is useful to understand the system starting from goals identification that the system expects to achieve through the formal verification of the system properties. The method is illustrated by an example of a Crisis Management system." @default.
- W2793787823 created "2018-03-29" @default.
- W2793787823 creator A5025960568 @default.
- W2793787823 creator A5042063805 @default.
- W2793787823 date "2018-01-01" @default.
- W2793787823 modified "2023-09-27" @default.
- W2793787823 title "BECAMEDA: A Customizable Method to Specify and Verify the Behavior of Multi-agent Systems" @default.
- W2793787823 cites W133813900 @default.
- W2793787823 cites W1489391022 @default.
- W2793787823 cites W1577525693 @default.
- W2793787823 cites W1603839139 @default.
- W2793787823 cites W1639193690 @default.
- W2793787823 cites W182625891 @default.
- W2793787823 cites W1969550103 @default.
- W2793787823 cites W1992449635 @default.
- W2793787823 cites W1995152689 @default.
- W2793787823 cites W2023095461 @default.
- W2793787823 cites W2078203280 @default.
- W2793787823 cites W2118172007 @default.
- W2793787823 cites W2318378182 @default.
- W2793787823 cites W2440957562 @default.
- W2793787823 cites W2537117034 @default.
- W2793787823 cites W2587074939 @default.
- W2793787823 cites W771256949 @default.
- W2793787823 doi "https://doi.org/10.1007/978-3-319-74500-8_7" @default.
- W2793787823 hasPublicationYear "2018" @default.
- W2793787823 type Work @default.
- W2793787823 sameAs 2793787823 @default.
- W2793787823 citedByCount "0" @default.
- W2793787823 crossrefType "book-chapter" @default.
- W2793787823 hasAuthorship W2793787823A5025960568 @default.
- W2793787823 hasAuthorship W2793787823A5042063805 @default.
- W2793787823 hasConcept C112930515 @default.
- W2793787823 hasConcept C115903868 @default.
- W2793787823 hasConcept C116834253 @default.
- W2793787823 hasConcept C127413603 @default.
- W2793787823 hasConcept C154945302 @default.
- W2793787823 hasConcept C195094911 @default.
- W2793787823 hasConcept C199360897 @default.
- W2793787823 hasConcept C201995342 @default.
- W2793787823 hasConcept C41008148 @default.
- W2793787823 hasConcept C41550386 @default.
- W2793787823 hasConcept C59822182 @default.
- W2793787823 hasConcept C71924100 @default.
- W2793787823 hasConcept C86803240 @default.
- W2793787823 hasConcept C98045186 @default.
- W2793787823 hasConceptScore W2793787823C112930515 @default.
- W2793787823 hasConceptScore W2793787823C115903868 @default.
- W2793787823 hasConceptScore W2793787823C116834253 @default.
- W2793787823 hasConceptScore W2793787823C127413603 @default.
- W2793787823 hasConceptScore W2793787823C154945302 @default.
- W2793787823 hasConceptScore W2793787823C195094911 @default.
- W2793787823 hasConceptScore W2793787823C199360897 @default.
- W2793787823 hasConceptScore W2793787823C201995342 @default.
- W2793787823 hasConceptScore W2793787823C41008148 @default.
- W2793787823 hasConceptScore W2793787823C41550386 @default.
- W2793787823 hasConceptScore W2793787823C59822182 @default.
- W2793787823 hasConceptScore W2793787823C71924100 @default.
- W2793787823 hasConceptScore W2793787823C86803240 @default.
- W2793787823 hasConceptScore W2793787823C98045186 @default.
- W2793787823 hasLocation W27937878231 @default.
- W2793787823 hasOpenAccess W2793787823 @default.
- W2793787823 hasPrimaryLocation W27937878231 @default.
- W2793787823 hasRelatedWork W1502391531 @default.
- W2793787823 hasRelatedWork W1538569725 @default.
- W2793787823 hasRelatedWork W1550185615 @default.
- W2793787823 hasRelatedWork W1572522851 @default.
- W2793787823 hasRelatedWork W1604346757 @default.
- W2793787823 hasRelatedWork W1826508486 @default.
- W2793787823 hasRelatedWork W2016212403 @default.
- W2793787823 hasRelatedWork W2105961061 @default.
- W2793787823 hasRelatedWork W2109614094 @default.
- W2793787823 hasRelatedWork W2127884047 @default.
- W2793787823 hasRelatedWork W2135809042 @default.
- W2793787823 hasRelatedWork W2136683825 @default.
- W2793787823 hasRelatedWork W2138199875 @default.
- W2793787823 hasRelatedWork W2145044525 @default.
- W2793787823 hasRelatedWork W2148103001 @default.
- W2793787823 hasRelatedWork W2353762332 @default.
- W2793787823 hasRelatedWork W2468029561 @default.
- W2793787823 hasRelatedWork W2785998965 @default.
- W2793787823 hasRelatedWork W2963267354 @default.
- W2793787823 hasRelatedWork W656922985 @default.
- W2793787823 isParatext "false" @default.
- W2793787823 isRetracted "false" @default.
- W2793787823 magId "2793787823" @default.
- W2793787823 workType "book-chapter" @default.