Matches in SemOpenAlex for { <https://semopenalex.org/work/W2742014733> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2742014733 abstract "We develop a technique to evaluate the fault-tolerance of a multi-agent system whose number of agents is unknown at design time. We present a method for injecting a variety of non-ideal behaviours, or faults, studied in the safety-analysis literature into the abstract agent templates that are used to generate an unbounded family of multi-agent systems with different sizes. We define the parameterised fault-tolerance problem as the decision problem of establishing whether any concrete system, in which the ratio of faulty versus non-faulty agents is under a given threshold, satisfies a given temporal-epistemic specification. We put forward a sound and complete technique for solving the problem for the semantical set-up considered. We present an implementation and a case study identifying the threshold under which the alpha swarm aggregation algorithm is robust to faults against its temporal-epistemic specifications." @default.
- W2742014733 created "2017-08-08" @default.
- W2742014733 creator A5015045050 @default.
- W2742014733 creator A5033325572 @default.
- W2742014733 date "2017-08-01" @default.
- W2742014733 modified "2023-10-11" @default.
- W2742014733 title "Verifying Fault-tolerance in Parameterised Multi-Agent Systems" @default.
- W2742014733 cites W1802815921 @default.
- W2742014733 cites W1976097854 @default.
- W2742014733 cites W2006607002 @default.
- W2742014733 cites W2028113097 @default.
- W2742014733 cites W2051054731 @default.
- W2742014733 cites W2055856629 @default.
- W2742014733 cites W2110930028 @default.
- W2742014733 cites W2147269402 @default.
- W2742014733 cites W2254622818 @default.
- W2742014733 cites W2268732417 @default.
- W2742014733 cites W2474505510 @default.
- W2742014733 cites W2546866793 @default.
- W2742014733 cites W822763789 @default.
- W2742014733 doi "https://doi.org/10.24963/ijcai.2017/41" @default.
- W2742014733 hasPublicationYear "2017" @default.
- W2742014733 type Work @default.
- W2742014733 sameAs 2742014733 @default.
- W2742014733 citedByCount "8" @default.
- W2742014733 countsByYear W27420147332018 @default.
- W2742014733 countsByYear W27420147332019 @default.
- W2742014733 countsByYear W27420147332020 @default.
- W2742014733 crossrefType "proceedings-article" @default.
- W2742014733 hasAuthorship W2742014733A5015045050 @default.
- W2742014733 hasAuthorship W2742014733A5033325572 @default.
- W2742014733 hasBestOaLocation W27420147331 @default.
- W2742014733 hasConcept C111472728 @default.
- W2742014733 hasConcept C11413529 @default.
- W2742014733 hasConcept C120314980 @default.
- W2742014733 hasConcept C127313418 @default.
- W2742014733 hasConcept C136197465 @default.
- W2742014733 hasConcept C138885662 @default.
- W2742014733 hasConcept C152745839 @default.
- W2742014733 hasConcept C154945302 @default.
- W2742014733 hasConcept C165205528 @default.
- W2742014733 hasConcept C172707124 @default.
- W2742014733 hasConcept C175551986 @default.
- W2742014733 hasConcept C177264268 @default.
- W2742014733 hasConcept C199360897 @default.
- W2742014733 hasConcept C2776639384 @default.
- W2742014733 hasConcept C41008148 @default.
- W2742014733 hasConcept C41550386 @default.
- W2742014733 hasConcept C50712370 @default.
- W2742014733 hasConcept C63540848 @default.
- W2742014733 hasConcept C80444323 @default.
- W2742014733 hasConceptScore W2742014733C111472728 @default.
- W2742014733 hasConceptScore W2742014733C11413529 @default.
- W2742014733 hasConceptScore W2742014733C120314980 @default.
- W2742014733 hasConceptScore W2742014733C127313418 @default.
- W2742014733 hasConceptScore W2742014733C136197465 @default.
- W2742014733 hasConceptScore W2742014733C138885662 @default.
- W2742014733 hasConceptScore W2742014733C152745839 @default.
- W2742014733 hasConceptScore W2742014733C154945302 @default.
- W2742014733 hasConceptScore W2742014733C165205528 @default.
- W2742014733 hasConceptScore W2742014733C172707124 @default.
- W2742014733 hasConceptScore W2742014733C175551986 @default.
- W2742014733 hasConceptScore W2742014733C177264268 @default.
- W2742014733 hasConceptScore W2742014733C199360897 @default.
- W2742014733 hasConceptScore W2742014733C2776639384 @default.
- W2742014733 hasConceptScore W2742014733C41008148 @default.
- W2742014733 hasConceptScore W2742014733C41550386 @default.
- W2742014733 hasConceptScore W2742014733C50712370 @default.
- W2742014733 hasConceptScore W2742014733C63540848 @default.
- W2742014733 hasConceptScore W2742014733C80444323 @default.
- W2742014733 hasLocation W27420147331 @default.
- W2742014733 hasOpenAccess W2742014733 @default.
- W2742014733 hasPrimaryLocation W27420147331 @default.
- W2742014733 hasRelatedWork W2027487876 @default.
- W2742014733 hasRelatedWork W2064720525 @default.
- W2742014733 hasRelatedWork W2151747216 @default.
- W2742014733 hasRelatedWork W2351378856 @default.
- W2742014733 hasRelatedWork W2908016640 @default.
- W2742014733 hasRelatedWork W2978510736 @default.
- W2742014733 hasRelatedWork W2979874898 @default.
- W2742014733 hasRelatedWork W3102446781 @default.
- W2742014733 hasRelatedWork W4213058608 @default.
- W2742014733 hasRelatedWork W2147034415 @default.
- W2742014733 isParatext "false" @default.
- W2742014733 isRetracted "false" @default.
- W2742014733 magId "2742014733" @default.
- W2742014733 workType "article" @default.