Matches in SemOpenAlex for { <https://semopenalex.org/work/W2070720123> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2070720123 abstract "Multi-Agent Systems (MASs) can be used to model human and animal societies, for the purpose of analyzing their properties by computational means. We propose a verification technique that investigates such MASs by means of guided simulations. This is achieved by modeling the evolutions of an MAS as a transition system (implicitly), and the property to be verified as another transition system (explicitly). The former is derived (on-the-fly) from a formal specification of the MAS's environment. The latter, which we call a simulation purpose, is used both to verify the property and to guide the simulation. In this way, only the states that are relevant for the property in question are actually simulated. Algorithmically, this corresponds to building a synchronous product of these two transitions systems on-the-fly and using it to operate a simulator. This paper presents an overall account of this approach, whose several parts were developed in a number of previous works. Our main objective here is to provide an overall account of the technique in a succinct manner, so that its most important and general features are highlighted. To clarify the theoretical discussions and show their practical importance, we develop concrete working examples along the text." @default.
- W2070720123 created "2016-06-24" @default.
- W2070720123 creator A5005344502 @default.
- W2070720123 creator A5024390282 @default.
- W2070720123 date "2013-11-01" @default.
- W2070720123 modified "2023-09-23" @default.
- W2070720123 title "An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations" @default.
- W2070720123 cites W1497060363 @default.
- W2070720123 cites W1512429466 @default.
- W2070720123 cites W1522465028 @default.
- W2070720123 cites W1587990038 @default.
- W2070720123 cites W1603799276 @default.
- W2070720123 cites W1885714377 @default.
- W2070720123 cites W2111979596 @default.
- W2070720123 cites W2130766754 @default.
- W2070720123 cites W2147353351 @default.
- W2070720123 cites W2147916282 @default.
- W2070720123 cites W2400188976 @default.
- W2070720123 cites W3163786203 @default.
- W2070720123 doi "https://doi.org/10.1109/wi-iat.2013.119" @default.
- W2070720123 hasPublicationYear "2013" @default.
- W2070720123 type Work @default.
- W2070720123 sameAs 2070720123 @default.
- W2070720123 citedByCount "1" @default.
- W2070720123 countsByYear W20707201232018 @default.
- W2070720123 crossrefType "proceedings-article" @default.
- W2070720123 hasAuthorship W2070720123A5005344502 @default.
- W2070720123 hasAuthorship W2070720123A5024390282 @default.
- W2070720123 hasConcept C104317684 @default.
- W2070720123 hasConcept C111472728 @default.
- W2070720123 hasConcept C111919701 @default.
- W2070720123 hasConcept C138885662 @default.
- W2070720123 hasConcept C185592680 @default.
- W2070720123 hasConcept C189950617 @default.
- W2070720123 hasConcept C194232998 @default.
- W2070720123 hasConcept C2524010 @default.
- W2070720123 hasConcept C2779167558 @default.
- W2070720123 hasConcept C2781020372 @default.
- W2070720123 hasConcept C33923547 @default.
- W2070720123 hasConcept C41008148 @default.
- W2070720123 hasConcept C55493867 @default.
- W2070720123 hasConcept C80444323 @default.
- W2070720123 hasConcept C90673727 @default.
- W2070720123 hasConceptScore W2070720123C104317684 @default.
- W2070720123 hasConceptScore W2070720123C111472728 @default.
- W2070720123 hasConceptScore W2070720123C111919701 @default.
- W2070720123 hasConceptScore W2070720123C138885662 @default.
- W2070720123 hasConceptScore W2070720123C185592680 @default.
- W2070720123 hasConceptScore W2070720123C189950617 @default.
- W2070720123 hasConceptScore W2070720123C194232998 @default.
- W2070720123 hasConceptScore W2070720123C2524010 @default.
- W2070720123 hasConceptScore W2070720123C2779167558 @default.
- W2070720123 hasConceptScore W2070720123C2781020372 @default.
- W2070720123 hasConceptScore W2070720123C33923547 @default.
- W2070720123 hasConceptScore W2070720123C41008148 @default.
- W2070720123 hasConceptScore W2070720123C55493867 @default.
- W2070720123 hasConceptScore W2070720123C80444323 @default.
- W2070720123 hasConceptScore W2070720123C90673727 @default.
- W2070720123 hasLocation W20707201231 @default.
- W2070720123 hasOpenAccess W2070720123 @default.
- W2070720123 hasPrimaryLocation W20707201231 @default.
- W2070720123 hasRelatedWork W1512630175 @default.
- W2070720123 hasRelatedWork W2001817854 @default.
- W2070720123 hasRelatedWork W2023300058 @default.
- W2070720123 hasRelatedWork W2038165459 @default.
- W2070720123 hasRelatedWork W2049651666 @default.
- W2070720123 hasRelatedWork W2070720123 @default.
- W2070720123 hasRelatedWork W2406014107 @default.
- W2070720123 hasRelatedWork W2531140464 @default.
- W2070720123 hasRelatedWork W4200002326 @default.
- W2070720123 hasRelatedWork W4288808839 @default.
- W2070720123 isParatext "false" @default.
- W2070720123 isRetracted "false" @default.
- W2070720123 magId "2070720123" @default.
- W2070720123 workType "article" @default.