Matches in SemOpenAlex for { <https://semopenalex.org/work/W2977509914> ?p ?o ?g. }
- W2977509914 endingPage "315" @default.
- W2977509914 startingPage "298" @default.
- W2977509914 abstract "Probabilistic model checking for stochastic games enables formal verification of systems that comprise competing or collaborating entities operating in a stochastic environment. Despite good progress in the area, existing approaches focus on zero-sum goals and cannot reason about scenarios where entities are endowed with different objectives. In this paper, we propose probabilistic model checking techniques for concurrent stochastic games based on Nash equilibria. We extend the temporal logic rPATL (probabilistic alternating-time temporal logic with rewards) to allow reasoning about players with distinct quantitative goals, which capture either the probability of an event occurring or a reward measure. We present algorithms to synthesise strategies that are subgame perfect social welfare optimal Nash equilibria, i.e., where there is no incentive for any players to unilaterally change their strategy in any state of the game, whilst the combined probabilities or rewards are maximised. We implement our techniques in the PRISM-games tool and apply them to several case studies, including network protocols and robot navigation, showing the benefits compared to existing approaches." @default.
- W2977509914 created "2019-10-10" @default.
- W2977509914 creator A5036097359 @default.
- W2977509914 creator A5067544120 @default.
- W2977509914 creator A5070363468 @default.
- W2977509914 creator A5081710233 @default.
- W2977509914 date "2019-01-01" @default.
- W2977509914 modified "2023-09-26" @default.
- W2977509914 title "Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games" @default.
- W2977509914 cites W117911312 @default.
- W2977509914 cites W1480909796 @default.
- W2977509914 cites W1496672808 @default.
- W2977509914 cites W159399628 @default.
- W2977509914 cites W1621538476 @default.
- W2977509914 cites W1794274623 @default.
- W2977509914 cites W1862398452 @default.
- W2977509914 cites W1982429087 @default.
- W2977509914 cites W2005998857 @default.
- W2977509914 cites W2048905609 @default.
- W2977509914 cites W2060155289 @default.
- W2977509914 cites W2063391005 @default.
- W2977509914 cites W2069746367 @default.
- W2977509914 cites W2089649903 @default.
- W2977509914 cites W2120326455 @default.
- W2977509914 cites W2140105941 @default.
- W2977509914 cites W2396841565 @default.
- W2977509914 cites W2414117530 @default.
- W2977509914 cites W2508573783 @default.
- W2977509914 cites W2520699020 @default.
- W2977509914 cites W2568766587 @default.
- W2977509914 cites W2593267253 @default.
- W2977509914 cites W2758822441 @default.
- W2977509914 cites W2771041648 @default.
- W2977509914 cites W2783275465 @default.
- W2977509914 cites W2886584225 @default.
- W2977509914 cites W2893380061 @default.
- W2977509914 cites W2897836779 @default.
- W2977509914 cites W2899043600 @default.
- W2977509914 cites W2914135999 @default.
- W2977509914 cites W2963112285 @default.
- W2977509914 cites W34205182 @default.
- W2977509914 cites W4211045823 @default.
- W2977509914 cites W4230164823 @default.
- W2977509914 cites W4242441073 @default.
- W2977509914 cites W4377077122 @default.
- W2977509914 cites W73291559 @default.
- W2977509914 doi "https://doi.org/10.1007/978-3-030-30942-8_19" @default.
- W2977509914 hasPublicationYear "2019" @default.
- W2977509914 type Work @default.
- W2977509914 sameAs 2977509914 @default.
- W2977509914 citedByCount "17" @default.
- W2977509914 countsByYear W29775099142019 @default.
- W2977509914 countsByYear W29775099142020 @default.
- W2977509914 countsByYear W29775099142021 @default.
- W2977509914 countsByYear W29775099142022 @default.
- W2977509914 crossrefType "book-chapter" @default.
- W2977509914 hasAuthorship W2977509914A5036097359 @default.
- W2977509914 hasAuthorship W2977509914A5067544120 @default.
- W2977509914 hasAuthorship W2977509914A5070363468 @default.
- W2977509914 hasAuthorship W2977509914A5081710233 @default.
- W2977509914 hasBestOaLocation W29775099142 @default.
- W2977509914 hasConcept C110251889 @default.
- W2977509914 hasConcept C121332964 @default.
- W2977509914 hasConcept C126255220 @default.
- W2977509914 hasConcept C13576547 @default.
- W2977509914 hasConcept C141824439 @default.
- W2977509914 hasConcept C144237770 @default.
- W2977509914 hasConcept C154945302 @default.
- W2977509914 hasConcept C175983524 @default.
- W2977509914 hasConcept C22171661 @default.
- W2977509914 hasConcept C25016198 @default.
- W2977509914 hasConcept C2779662365 @default.
- W2977509914 hasConcept C32407928 @default.
- W2977509914 hasConcept C33923547 @default.
- W2977509914 hasConcept C41008148 @default.
- W2977509914 hasConcept C46814582 @default.
- W2977509914 hasConcept C49937458 @default.
- W2977509914 hasConcept C62520636 @default.
- W2977509914 hasConcept C80444323 @default.
- W2977509914 hasConceptScore W2977509914C110251889 @default.
- W2977509914 hasConceptScore W2977509914C121332964 @default.
- W2977509914 hasConceptScore W2977509914C126255220 @default.
- W2977509914 hasConceptScore W2977509914C13576547 @default.
- W2977509914 hasConceptScore W2977509914C141824439 @default.
- W2977509914 hasConceptScore W2977509914C144237770 @default.
- W2977509914 hasConceptScore W2977509914C154945302 @default.
- W2977509914 hasConceptScore W2977509914C175983524 @default.
- W2977509914 hasConceptScore W2977509914C22171661 @default.
- W2977509914 hasConceptScore W2977509914C25016198 @default.
- W2977509914 hasConceptScore W2977509914C2779662365 @default.
- W2977509914 hasConceptScore W2977509914C32407928 @default.
- W2977509914 hasConceptScore W2977509914C33923547 @default.
- W2977509914 hasConceptScore W2977509914C41008148 @default.
- W2977509914 hasConceptScore W2977509914C46814582 @default.
- W2977509914 hasConceptScore W2977509914C49937458 @default.
- W2977509914 hasConceptScore W2977509914C62520636 @default.
- W2977509914 hasConceptScore W2977509914C80444323 @default.
- W2977509914 hasLocation W29775099141 @default.