Matches in SemOpenAlex for { <https://semopenalex.org/work/W2897836779> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2897836779 endingPage "123" @default.
- W2897836779 startingPage "106" @default.
- W2897836779 abstract "Verifying whether rational participants in a BAR system (a distributed system including Byzantine, Altruistic and Rational participants) would deviate from the specified behaviour is important but challenging. Existing works consider this as Nash-equilibrium verification in a multi-player game. If the game is probabilistic and non-terminating, verifying whether a coalition of rational players would deviate becomes even more challenging. There is no automatic verification algorithm to address it. In this article, we propose a formalization to capture that coalitions of rational players do not deviate, following the concept of Strong Nash-equilibrium (SNE) in game-theory, and propose a model checking algorithm to automatically verify SNE of non-terminating probabilistic BAR systems. We implemented a prototype and evaluated the algorithm in three case studies." @default.
- W2897836779 created "2018-10-26" @default.
- W2897836779 creator A5023488341 @default.
- W2897836779 creator A5042509488 @default.
- W2897836779 creator A5085067496 @default.
- W2897836779 creator A5085167601 @default.
- W2897836779 date "2018-01-01" @default.
- W2897836779 modified "2023-09-27" @default.
- W2897836779 title "Verification of Strong Nash-equilibrium for Probabilistic BAR Systems" @default.
- W2897836779 cites W1569760344 @default.
- W2897836779 cites W1580689883 @default.
- W2897836779 cites W1968588455 @default.
- W2897836779 cites W1971138850 @default.
- W2897836779 cites W1971456882 @default.
- W2897836779 cites W2040940409 @default.
- W2897836779 cites W2077734015 @default.
- W2897836779 cites W2085236903 @default.
- W2897836779 cites W2099323800 @default.
- W2897836779 cites W2106272197 @default.
- W2897836779 cites W2118463673 @default.
- W2897836779 cites W2168325212 @default.
- W2897836779 cites W2396841565 @default.
- W2897836779 cites W2463621242 @default.
- W2897836779 cites W2465219533 @default.
- W2897836779 cites W2576703004 @default.
- W2897836779 cites W34205182 @default.
- W2897836779 doi "https://doi.org/10.1007/978-3-030-02450-5_7" @default.
- W2897836779 hasPublicationYear "2018" @default.
- W2897836779 type Work @default.
- W2897836779 sameAs 2897836779 @default.
- W2897836779 citedByCount "4" @default.
- W2897836779 countsByYear W28978367792018 @default.
- W2897836779 countsByYear W28978367792019 @default.
- W2897836779 countsByYear W28978367792020 @default.
- W2897836779 countsByYear W28978367792021 @default.
- W2897836779 crossrefType "book-chapter" @default.
- W2897836779 hasAuthorship W2897836779A5023488341 @default.
- W2897836779 hasAuthorship W2897836779A5042509488 @default.
- W2897836779 hasAuthorship W2897836779A5085067496 @default.
- W2897836779 hasAuthorship W2897836779A5085167601 @default.
- W2897836779 hasConcept C121332964 @default.
- W2897836779 hasConcept C126255220 @default.
- W2897836779 hasConcept C141824439 @default.
- W2897836779 hasConcept C144237770 @default.
- W2897836779 hasConcept C153294291 @default.
- W2897836779 hasConcept C154945302 @default.
- W2897836779 hasConcept C177142836 @default.
- W2897836779 hasConcept C188721877 @default.
- W2897836779 hasConcept C32407928 @default.
- W2897836779 hasConcept C33923547 @default.
- W2897836779 hasConcept C41008148 @default.
- W2897836779 hasConcept C46814582 @default.
- W2897836779 hasConcept C49937458 @default.
- W2897836779 hasConcept C80444323 @default.
- W2897836779 hasConceptScore W2897836779C121332964 @default.
- W2897836779 hasConceptScore W2897836779C126255220 @default.
- W2897836779 hasConceptScore W2897836779C141824439 @default.
- W2897836779 hasConceptScore W2897836779C144237770 @default.
- W2897836779 hasConceptScore W2897836779C153294291 @default.
- W2897836779 hasConceptScore W2897836779C154945302 @default.
- W2897836779 hasConceptScore W2897836779C177142836 @default.
- W2897836779 hasConceptScore W2897836779C188721877 @default.
- W2897836779 hasConceptScore W2897836779C32407928 @default.
- W2897836779 hasConceptScore W2897836779C33923547 @default.
- W2897836779 hasConceptScore W2897836779C41008148 @default.
- W2897836779 hasConceptScore W2897836779C46814582 @default.
- W2897836779 hasConceptScore W2897836779C49937458 @default.
- W2897836779 hasConceptScore W2897836779C80444323 @default.
- W2897836779 hasLocation W28978367791 @default.
- W2897836779 hasOpenAccess W2897836779 @default.
- W2897836779 hasPrimaryLocation W28978367791 @default.
- W2897836779 hasRelatedWork W152464401 @default.
- W2897836779 hasRelatedWork W176207675 @default.
- W2897836779 hasRelatedWork W1771846412 @default.
- W2897836779 hasRelatedWork W1796097185 @default.
- W2897836779 hasRelatedWork W1983947776 @default.
- W2897836779 hasRelatedWork W2018522369 @default.
- W2897836779 hasRelatedWork W2059032550 @default.
- W2897836779 hasRelatedWork W2087145974 @default.
- W2897836779 hasRelatedWork W2132254876 @default.
- W2897836779 hasRelatedWork W2143808669 @default.
- W2897836779 hasRelatedWork W2208072983 @default.
- W2897836779 hasRelatedWork W2284069850 @default.
- W2897836779 hasRelatedWork W2293280374 @default.
- W2897836779 hasRelatedWork W24537417 @default.
- W2897836779 hasRelatedWork W2950812127 @default.
- W2897836779 hasRelatedWork W2951592605 @default.
- W2897836779 hasRelatedWork W2971283894 @default.
- W2897836779 hasRelatedWork W3205048609 @default.
- W2897836779 hasRelatedWork W3920829 @default.
- W2897836779 hasRelatedWork W65966603 @default.
- W2897836779 isParatext "false" @default.
- W2897836779 isRetracted "false" @default.
- W2897836779 magId "2897836779" @default.
- W2897836779 workType "book-chapter" @default.