Matches in SemOpenAlex for { <https://semopenalex.org/work/W75704611> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W75704611 abstract "This paper presents an approach to the verification of reactive multiagent system (RMAS) applications. Many of those applications require high levels of confidence about their safety of execution. In those cases, model-checking appears as an adequate verification tool. However, the complexity of RMAS models generally forbids the direct application of model-checking, due to the combinatory explosion problem. Avoiding this kind of inconvenience is frequently possible by applying methods such as abstraction or composition. This work presents a compositional method adapted to the verification of RMAS models belonging to a wide class of applications. The method is adapted to the verificationas of safety properties. In this paper, the approach is put to practice by considering a vehicle platoon application with linear configuration. The crucial safety property being verified is the absence of collisions between platoon vehicles. A formal specification model is written with the SAL (Symbolic Analysis Laboratory) transition system language and compositional verification is performed with the SAL toolbox, by applying SAL model checkers." @default.
- W75704611 created "2016-06-24" @default.
- W75704611 creator A5022466993 @default.
- W75704611 creator A5039132202 @default.
- W75704611 creator A5058638108 @default.
- W75704611 creator A5089094724 @default.
- W75704611 date "2010-01-01" @default.
- W75704611 modified "2023-09-27" @default.
- W75704611 title "An Approach to Compositional Verification of Reactive Multiagent Systems" @default.
- W75704611 cites W1552280794 @default.
- W75704611 cites W1606860058 @default.
- W75704611 cites W1985375131 @default.
- W75704611 cites W1999394727 @default.
- W75704611 cites W2005363153 @default.
- W75704611 cites W2009965218 @default.
- W75704611 cites W2056192740 @default.
- W75704611 cites W2065287878 @default.
- W75704611 cites W2095626123 @default.
- W75704611 cites W2111675057 @default.
- W75704611 cites W2124163111 @default.
- W75704611 cites W2125891206 @default.
- W75704611 cites W2152609426 @default.
- W75704611 cites W2170677925 @default.
- W75704611 cites W2126641107 @default.
- W75704611 hasPublicationYear "2010" @default.
- W75704611 type Work @default.
- W75704611 sameAs 75704611 @default.
- W75704611 citedByCount "1" @default.
- W75704611 crossrefType "journal-article" @default.
- W75704611 hasAuthorship W75704611A5022466993 @default.
- W75704611 hasAuthorship W75704611A5039132202 @default.
- W75704611 hasAuthorship W75704611A5058638108 @default.
- W75704611 hasAuthorship W75704611A5089094724 @default.
- W75704611 hasConcept C110251889 @default.
- W75704611 hasConcept C111472728 @default.
- W75704611 hasConcept C111498074 @default.
- W75704611 hasConcept C115903868 @default.
- W75704611 hasConcept C120314980 @default.
- W75704611 hasConcept C124304363 @default.
- W75704611 hasConcept C138885662 @default.
- W75704611 hasConcept C154945302 @default.
- W75704611 hasConcept C199360897 @default.
- W75704611 hasConcept C202973057 @default.
- W75704611 hasConcept C2775924081 @default.
- W75704611 hasConcept C2777655017 @default.
- W75704611 hasConcept C2777735972 @default.
- W75704611 hasConcept C41008148 @default.
- W75704611 hasConceptScore W75704611C110251889 @default.
- W75704611 hasConceptScore W75704611C111472728 @default.
- W75704611 hasConceptScore W75704611C111498074 @default.
- W75704611 hasConceptScore W75704611C115903868 @default.
- W75704611 hasConceptScore W75704611C120314980 @default.
- W75704611 hasConceptScore W75704611C124304363 @default.
- W75704611 hasConceptScore W75704611C138885662 @default.
- W75704611 hasConceptScore W75704611C154945302 @default.
- W75704611 hasConceptScore W75704611C199360897 @default.
- W75704611 hasConceptScore W75704611C202973057 @default.
- W75704611 hasConceptScore W75704611C2775924081 @default.
- W75704611 hasConceptScore W75704611C2777655017 @default.
- W75704611 hasConceptScore W75704611C2777735972 @default.
- W75704611 hasConceptScore W75704611C41008148 @default.
- W75704611 hasLocation W757046111 @default.
- W75704611 hasOpenAccess W75704611 @default.
- W75704611 hasPrimaryLocation W757046111 @default.
- W75704611 hasRelatedWork W1479987225 @default.
- W75704611 hasRelatedWork W1504525241 @default.
- W75704611 hasRelatedWork W185259000 @default.
- W75704611 hasRelatedWork W2402056577 @default.
- W75704611 hasRelatedWork W2735898752 @default.
- W75704611 hasRelatedWork W2750156455 @default.
- W75704611 hasRelatedWork W2799950155 @default.
- W75704611 hasRelatedWork W2805770361 @default.
- W75704611 hasRelatedWork W2963177068 @default.
- W75704611 hasRelatedWork W2997917922 @default.
- W75704611 hasRelatedWork W3017262932 @default.
- W75704611 hasRelatedWork W3083826291 @default.
- W75704611 hasRelatedWork W3087229706 @default.
- W75704611 hasRelatedWork W3095188910 @default.
- W75704611 hasRelatedWork W3152377411 @default.
- W75704611 hasRelatedWork W3196025820 @default.
- W75704611 hasRelatedWork W69822855 @default.
- W75704611 hasRelatedWork W2221978111 @default.
- W75704611 hasRelatedWork W2416062364 @default.
- W75704611 hasRelatedWork W2526106663 @default.
- W75704611 isParatext "false" @default.
- W75704611 isRetracted "false" @default.
- W75704611 magId "75704611" @default.
- W75704611 workType "article" @default.