Matches in SemOpenAlex for { <https://semopenalex.org/work/W2077050476> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2077050476 endingPage "28" @default.
- W2077050476 startingPage "28" @default.
- W2077050476 abstract "The multi-agent paradigm provides abstractions that facilitate the design of complex systems consisting of heterogeneous, autonomous components. Most methodologies focus on the specification of complex agent interactions using the social system metaphor, while the interaction between agents and their environment has only recently started to receive more attention. In this paper, we present an approach for making complex Multi-Agent System (MAS) specifications including a detailed environment model amenable to verification. We introduce a formalisation for executable specifications of social systems, which we subsequently use to support their systematic verification by means of simulation and formal verification. We explore which results may be obtained for the overall system and where compositional techniques can be used to separate the specification into more manageable subsets. A case study is used throughout the paper to illustrate the concepts and present results of our verification experiments." @default.
- W2077050476 created "2016-06-24" @default.
- W2077050476 creator A5013870008 @default.
- W2077050476 creator A5026454561 @default.
- W2077050476 date "2007-01-01" @default.
- W2077050476 modified "2023-10-16" @default.
- W2077050476 title "Systematic verification of multi-agent systems based on rigorous executable specifications" @default.
- W2077050476 cites W1480750333 @default.
- W2077050476 cites W1515623196 @default.
- W2077050476 cites W1520374608 @default.
- W2077050476 cites W152223429 @default.
- W2077050476 cites W1545635334 @default.
- W2077050476 cites W1577544661 @default.
- W2077050476 cites W1729536562 @default.
- W2077050476 cites W191722458 @default.
- W2077050476 cites W1998563626 @default.
- W2077050476 cites W2003068314 @default.
- W2077050476 cites W2008724308 @default.
- W2077050476 cites W2009866896 @default.
- W2077050476 cites W2025637136 @default.
- W2077050476 cites W2078237437 @default.
- W2077050476 cites W2089264038 @default.
- W2077050476 cites W2095093755 @default.
- W2077050476 cites W2108124143 @default.
- W2077050476 cites W2109541059 @default.
- W2077050476 cites W2113302524 @default.
- W2077050476 cites W2125102638 @default.
- W2077050476 cites W2130891285 @default.
- W2077050476 cites W2131035629 @default.
- W2077050476 cites W2143842650 @default.
- W2077050476 cites W2150013594 @default.
- W2077050476 cites W2151284191 @default.
- W2077050476 cites W2154321080 @default.
- W2077050476 cites W2174985802 @default.
- W2077050476 cites W2340735175 @default.
- W2077050476 cites W2983240785 @default.
- W2077050476 cites W642707734 @default.
- W2077050476 cites W14191671 @default.
- W2077050476 cites W2477781813 @default.
- W2077050476 doi "https://doi.org/10.1504/ijaose.2007.013264" @default.
- W2077050476 hasPublicationYear "2007" @default.
- W2077050476 type Work @default.
- W2077050476 sameAs 2077050476 @default.
- W2077050476 citedByCount "9" @default.
- W2077050476 countsByYear W20770504762012 @default.
- W2077050476 countsByYear W20770504762013 @default.
- W2077050476 countsByYear W20770504762014 @default.
- W2077050476 countsByYear W20770504762015 @default.
- W2077050476 countsByYear W20770504762018 @default.
- W2077050476 crossrefType "journal-article" @default.
- W2077050476 hasAuthorship W2077050476A5013870008 @default.
- W2077050476 hasAuthorship W2077050476A5026454561 @default.
- W2077050476 hasConcept C111498074 @default.
- W2077050476 hasConcept C115903868 @default.
- W2077050476 hasConcept C116253237 @default.
- W2077050476 hasConcept C120665830 @default.
- W2077050476 hasConcept C121332964 @default.
- W2077050476 hasConcept C160145156 @default.
- W2077050476 hasConcept C192209626 @default.
- W2077050476 hasConcept C199360897 @default.
- W2077050476 hasConcept C202973057 @default.
- W2077050476 hasConcept C41008148 @default.
- W2077050476 hasConcept C62460635 @default.
- W2077050476 hasConcept C75606506 @default.
- W2077050476 hasConceptScore W2077050476C111498074 @default.
- W2077050476 hasConceptScore W2077050476C115903868 @default.
- W2077050476 hasConceptScore W2077050476C116253237 @default.
- W2077050476 hasConceptScore W2077050476C120665830 @default.
- W2077050476 hasConceptScore W2077050476C121332964 @default.
- W2077050476 hasConceptScore W2077050476C160145156 @default.
- W2077050476 hasConceptScore W2077050476C192209626 @default.
- W2077050476 hasConceptScore W2077050476C199360897 @default.
- W2077050476 hasConceptScore W2077050476C202973057 @default.
- W2077050476 hasConceptScore W2077050476C41008148 @default.
- W2077050476 hasConceptScore W2077050476C62460635 @default.
- W2077050476 hasConceptScore W2077050476C75606506 @default.
- W2077050476 hasIssue "1" @default.
- W2077050476 hasLocation W20770504761 @default.
- W2077050476 hasOpenAccess W2077050476 @default.
- W2077050476 hasPrimaryLocation W20770504761 @default.
- W2077050476 hasRelatedWork W1523668689 @default.
- W2077050476 hasRelatedWork W1587285018 @default.
- W2077050476 hasRelatedWork W2123319381 @default.
- W2077050476 hasRelatedWork W2123510745 @default.
- W2077050476 hasRelatedWork W2151449640 @default.
- W2077050476 hasRelatedWork W2160614176 @default.
- W2077050476 hasRelatedWork W2248653679 @default.
- W2077050476 hasRelatedWork W2562928796 @default.
- W2077050476 hasRelatedWork W4233002032 @default.
- W2077050476 hasRelatedWork W4301409455 @default.
- W2077050476 hasVolume "1" @default.
- W2077050476 isParatext "false" @default.
- W2077050476 isRetracted "false" @default.
- W2077050476 magId "2077050476" @default.
- W2077050476 workType "article" @default.