Matches in SemOpenAlex for { <https://semopenalex.org/work/W2895958780> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2895958780 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. There is no automatic verification algorithm to address it in probabilistic settings. In this work, we introduce PBAR system and propose model checking algorithms to verify Nash-equilibrium. We perform case studies to validate the algorithms." @default.
- W2895958780 created "2018-10-26" @default.
- W2895958780 creator A5085167601 @default.
- W2895958780 date "2018-01-01" @default.
- W2895958780 modified "2023-09-27" @default.
- W2895958780 title "Model Checking Nash-Equilibrium - Automatic Verification of Robustness in Distributed Systems" @default.
- W2895958780 cites W1515421996 @default.
- W2895958780 cites W1569760344 @default.
- W2895958780 cites W1762311305 @default.
- W2895958780 cites W1971456882 @default.
- W2895958780 cites W2040940409 @default.
- W2895958780 cites W2088600663 @default.
- W2895958780 cites W2099323800 @default.
- W2895958780 cites W2294423262 @default.
- W2895958780 cites W2463621242 @default.
- W2895958780 cites W2465219533 @default.
- W2895958780 cites W2576703004 @default.
- W2895958780 cites W2897836779 @default.
- W2895958780 doi "https://doi.org/10.1007/978-3-030-02450-5_30" @default.
- W2895958780 hasPublicationYear "2018" @default.
- W2895958780 type Work @default.
- W2895958780 sameAs 2895958780 @default.
- W2895958780 citedByCount "0" @default.
- W2895958780 crossrefType "book-chapter" @default.
- W2895958780 hasAuthorship W2895958780A5085167601 @default.
- W2895958780 hasConcept C104317684 @default.
- W2895958780 hasConcept C110251889 @default.
- W2895958780 hasConcept C111498074 @default.
- W2895958780 hasConcept C11413529 @default.
- W2895958780 hasConcept C120314980 @default.
- W2895958780 hasConcept C126255220 @default.
- W2895958780 hasConcept C130120984 @default.
- W2895958780 hasConcept C141824439 @default.
- W2895958780 hasConcept C144237770 @default.
- W2895958780 hasConcept C154945302 @default.
- W2895958780 hasConcept C177142836 @default.
- W2895958780 hasConcept C185592680 @default.
- W2895958780 hasConcept C32407928 @default.
- W2895958780 hasConcept C33923547 @default.
- W2895958780 hasConcept C41008148 @default.
- W2895958780 hasConcept C46814582 @default.
- W2895958780 hasConcept C49937458 @default.
- W2895958780 hasConcept C55493867 @default.
- W2895958780 hasConcept C63479239 @default.
- W2895958780 hasConcept C80444323 @default.
- W2895958780 hasConceptScore W2895958780C104317684 @default.
- W2895958780 hasConceptScore W2895958780C110251889 @default.
- W2895958780 hasConceptScore W2895958780C111498074 @default.
- W2895958780 hasConceptScore W2895958780C11413529 @default.
- W2895958780 hasConceptScore W2895958780C120314980 @default.
- W2895958780 hasConceptScore W2895958780C126255220 @default.
- W2895958780 hasConceptScore W2895958780C130120984 @default.
- W2895958780 hasConceptScore W2895958780C141824439 @default.
- W2895958780 hasConceptScore W2895958780C144237770 @default.
- W2895958780 hasConceptScore W2895958780C154945302 @default.
- W2895958780 hasConceptScore W2895958780C177142836 @default.
- W2895958780 hasConceptScore W2895958780C185592680 @default.
- W2895958780 hasConceptScore W2895958780C32407928 @default.
- W2895958780 hasConceptScore W2895958780C33923547 @default.
- W2895958780 hasConceptScore W2895958780C41008148 @default.
- W2895958780 hasConceptScore W2895958780C46814582 @default.
- W2895958780 hasConceptScore W2895958780C49937458 @default.
- W2895958780 hasConceptScore W2895958780C55493867 @default.
- W2895958780 hasConceptScore W2895958780C63479239 @default.
- W2895958780 hasConceptScore W2895958780C80444323 @default.
- W2895958780 hasLocation W28959587801 @default.
- W2895958780 hasOpenAccess W2895958780 @default.
- W2895958780 hasPrimaryLocation W28959587801 @default.
- W2895958780 hasRelatedWork W1972768959 @default.
- W2895958780 hasRelatedWork W2097860933 @default.
- W2895958780 hasRelatedWork W2101406872 @default.
- W2895958780 hasRelatedWork W2166857474 @default.
- W2895958780 hasRelatedWork W2171668819 @default.
- W2895958780 hasRelatedWork W2296740370 @default.
- W2895958780 hasRelatedWork W2420076127 @default.
- W2895958780 hasRelatedWork W2576703004 @default.
- W2895958780 hasRelatedWork W2768579399 @default.
- W2895958780 hasRelatedWork W2801962073 @default.
- W2895958780 hasRelatedWork W2899043600 @default.
- W2895958780 hasRelatedWork W2923656989 @default.
- W2895958780 hasRelatedWork W2977509914 @default.
- W2895958780 hasRelatedWork W2997629641 @default.
- W2895958780 hasRelatedWork W3048519602 @default.
- W2895958780 hasRelatedWork W3109427444 @default.
- W2895958780 hasRelatedWork W3174152015 @default.
- W2895958780 hasRelatedWork W3208002122 @default.
- W2895958780 hasRelatedWork W89150148 @default.
- W2895958780 hasRelatedWork W2181459479 @default.
- W2895958780 isParatext "false" @default.
- W2895958780 isRetracted "false" @default.
- W2895958780 magId "2895958780" @default.
- W2895958780 workType "book-chapter" @default.