Matches in SemOpenAlex for { <https://semopenalex.org/work/W2284709797> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2284709797 startingPage "18" @default.
- W2284709797 abstract "This paper addresses the formal specification and verification of situated multi-agent systems that can be formulated within the influence-reaction model as proposed in 1996 by Ferber & Muller. In this framework our objective is to prove the correctness of reactive multi-agent systems with respect to a certain formal specification or property, using formal methods. This is an important step to bring multi-agent systems to high quality standards as required for critical applications encountered in domains such as transport systems. A generic B writing of systems instantiating the influence reaction model is proposed, using patterns of specification. An illustration is then presented on the formal specification of a system operating electrical vehicles under precise automatic control at close spacings to form a platoon. The papers ends with considerations about further improvements of the framework, involving simulation and study of the properties of the system." @default.
- W2284709797 created "2016-06-24" @default.
- W2284709797 creator A5041168836 @default.
- W2284709797 creator A5051052976 @default.
- W2284709797 creator A5071655954 @default.
- W2284709797 creator A5080329186 @default.
- W2284709797 creator A5085452143 @default.
- W2284709797 date "2007-01-01" @default.
- W2284709797 modified "2023-09-25" @default.
- W2284709797 title "Generic Expression in B of the Influence/Reaction Model: Specifying and Verifying Situated Multi-Agent Systems" @default.
- W2284709797 cites W1493095552 @default.
- W2284709797 cites W1554863622 @default.
- W2284709797 cites W1582439588 @default.
- W2284709797 cites W1972866515 @default.
- W2284709797 cites W1980925575 @default.
- W2284709797 cites W1981934634 @default.
- W2284709797 cites W1983553024 @default.
- W2284709797 cites W1998563626 @default.
- W2284709797 cites W2078938976 @default.
- W2284709797 cites W2111675057 @default.
- W2284709797 cites W2140209236 @default.
- W2284709797 cites W2154455033 @default.
- W2284709797 cites W3185910042 @default.
- W2284709797 hasPublicationYear "2007" @default.
- W2284709797 type Work @default.
- W2284709797 sameAs 2284709797 @default.
- W2284709797 citedByCount "4" @default.
- W2284709797 countsByYear W22847097972013 @default.
- W2284709797 crossrefType "journal-article" @default.
- W2284709797 hasAuthorship W2284709797A5041168836 @default.
- W2284709797 hasAuthorship W2284709797A5051052976 @default.
- W2284709797 hasAuthorship W2284709797A5071655954 @default.
- W2284709797 hasAuthorship W2284709797A5080329186 @default.
- W2284709797 hasAuthorship W2284709797A5085452143 @default.
- W2284709797 hasConcept C111498074 @default.
- W2284709797 hasConcept C115903868 @default.
- W2284709797 hasConcept C116253237 @default.
- W2284709797 hasConcept C132829578 @default.
- W2284709797 hasConcept C154945302 @default.
- W2284709797 hasConcept C199360897 @default.
- W2284709797 hasConcept C41008148 @default.
- W2284709797 hasConcept C55439883 @default.
- W2284709797 hasConcept C75606506 @default.
- W2284709797 hasConceptScore W2284709797C111498074 @default.
- W2284709797 hasConceptScore W2284709797C115903868 @default.
- W2284709797 hasConceptScore W2284709797C116253237 @default.
- W2284709797 hasConceptScore W2284709797C132829578 @default.
- W2284709797 hasConceptScore W2284709797C154945302 @default.
- W2284709797 hasConceptScore W2284709797C199360897 @default.
- W2284709797 hasConceptScore W2284709797C41008148 @default.
- W2284709797 hasConceptScore W2284709797C55439883 @default.
- W2284709797 hasConceptScore W2284709797C75606506 @default.
- W2284709797 hasLocation W22847097971 @default.
- W2284709797 hasOpenAccess W2284709797 @default.
- W2284709797 hasPrimaryLocation W22847097971 @default.
- W2284709797 hasRelatedWork W114096090 @default.
- W2284709797 hasRelatedWork W1491352352 @default.
- W2284709797 hasRelatedWork W1500534105 @default.
- W2284709797 hasRelatedWork W1586508316 @default.
- W2284709797 hasRelatedWork W1838919703 @default.
- W2284709797 hasRelatedWork W1977025841 @default.
- W2284709797 hasRelatedWork W2045927055 @default.
- W2284709797 hasRelatedWork W2103225125 @default.
- W2284709797 hasRelatedWork W2111675057 @default.
- W2284709797 hasRelatedWork W2131734358 @default.
- W2284709797 hasRelatedWork W2131925080 @default.
- W2284709797 hasRelatedWork W2135246023 @default.
- W2284709797 hasRelatedWork W2142195741 @default.
- W2284709797 hasRelatedWork W2146811811 @default.
- W2284709797 hasRelatedWork W2276115202 @default.
- W2284709797 hasRelatedWork W2278352711 @default.
- W2284709797 hasRelatedWork W2394934717 @default.
- W2284709797 hasRelatedWork W2912549026 @default.
- W2284709797 hasRelatedWork W3099087539 @default.
- W2284709797 hasRelatedWork W3185910042 @default.
- W2284709797 isParatext "false" @default.
- W2284709797 isRetracted "false" @default.
- W2284709797 magId "2284709797" @default.
- W2284709797 workType "article" @default.