FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899043600> ?p ?o ?g. }

• W2899043600 endingPage "92" @default.
• W2899043600 startingPage "61" @default.
• W2899043600 abstract "We present automatic verification techniques for the modelling and analysis of probabilistic systems that incorporate competitive behaviour. These systems are modelled as turn-based stochastic multi-player games, in which the players can either collaborate or compete in order to achieve a particular goal. We define a temporal logic called rPATL for expressing quantitative properties of stochastic multi-player games. This logic allows us to reason about the collective ability of a set of players to achieve a goal relating to the probability of an event’s occurrence or the expected amount of cost/reward accumulated. We give an algorithm for verifying properties expressed in this logic and implement the techniques in a probabilistic model checker, as an extension of the PRISM tool. We demonstrate the applicability and efficiency of our methods by deploying them to analyse and detect potential weaknesses in a variety of large case studies, including algorithms for energy management in Microgrids and collective decision making for autonomous systems." @default.
• W2899043600 created "2018-11-09" @default.
• W2899043600 creator A5030747944 @default.
• W2899043600 creator A5036097359 @default.
• W2899043600 creator A5052358433 @default.
• W2899043600 creator A5081710233 @default.
• W2899043600 creator A5087974593 @default.
• W2899043600 date "2013-02-16" @default.
• W2899043600 modified "2023-10-17" @default.
• W2899043600 title "Automatic verification of competitive stochastic systems" @default.
• W2899043600 cites W1497161038 @default.
• W2899043600 cites W1587990038 @default.
• W2899043600 cites W1596365597 @default.
• W2899043600 cites W1621538476 @default.
• W2899043600 cites W1689221763 @default.
• W2899043600 cites W1781824054 @default.
• W2899043600 cites W1809182522 @default.
• W2899043600 cites W1839854015 @default.
• W2899043600 cites W1862398452 @default.
• W2899043600 cites W1910260799 @default.
• W2899043600 cites W1972203711 @default.
• W2899043600 cites W2005998857 @default.
• W2899043600 cites W2017194981 @default.
• W2899043600 cites W2048905609 @default.
• W2899043600 cites W2056574796 @default.
• W2899043600 cites W2075271290 @default.
• W2899043600 cites W2091027967 @default.
• W2899043600 cites W2109756477 @default.
• W2899043600 cites W2114177106 @default.
• W2899043600 cites W2138707849 @default.
• W2899043600 cites W2144159228 @default.
• W2899043600 cites W2166857474 @default.
• W2899043600 cites W2401635679 @default.
• W2899043600 cites W2914135999 @default.
• W2899043600 cites W4211045823 @default.
• W2899043600 cites W4242441073 @default.
• W2899043600 cites W4377077122 @default.
• W2899043600 doi "https://doi.org/10.1007/s10703-013-0183-7" @default.
• W2899043600 hasPublicationYear "2013" @default.
• W2899043600 type Work @default.
• W2899043600 sameAs 2899043600 @default.
• W2899043600 citedByCount "96" @default.
• W2899043600 countsByYear W28990436002012 @default.
• W2899043600 countsByYear W28990436002013 @default.
• W2899043600 countsByYear W28990436002014 @default.
• W2899043600 countsByYear W28990436002015 @default.
• W2899043600 countsByYear W28990436002016 @default.
• W2899043600 countsByYear W28990436002017 @default.
• W2899043600 countsByYear W28990436002018 @default.
• W2899043600 countsByYear W28990436002019 @default.
• W2899043600 countsByYear W28990436002020 @default.
• W2899043600 countsByYear W28990436002021 @default.
• W2899043600 countsByYear W28990436002022 @default.
• W2899043600 countsByYear W28990436002023 @default.
• W2899043600 crossrefType "journal-article" @default.
• W2899043600 hasAuthorship W2899043600A5030747944 @default.
• W2899043600 hasAuthorship W2899043600A5036097359 @default.
• W2899043600 hasAuthorship W2899043600A5052358433 @default.
• W2899043600 hasAuthorship W2899043600A5081710233 @default.
• W2899043600 hasAuthorship W2899043600A5087974593 @default.
• W2899043600 hasBestOaLocation W28990436002 @default.
• W2899043600 hasConcept C121332964 @default.
• W2899043600 hasConcept C136197465 @default.
• W2899043600 hasConcept C154945302 @default.
• W2899043600 hasConcept C177264268 @default.
• W2899043600 hasConcept C199360897 @default.
• W2899043600 hasConcept C25016198 @default.
• W2899043600 hasConcept C2779662365 @default.
• W2899043600 hasConcept C41008148 @default.
• W2899043600 hasConcept C49937458 @default.
• W2899043600 hasConcept C62520636 @default.
• W2899043600 hasConcept C80444323 @default.
• W2899043600 hasConceptScore W2899043600C121332964 @default.
• W2899043600 hasConceptScore W2899043600C136197465 @default.
• W2899043600 hasConceptScore W2899043600C154945302 @default.
• W2899043600 hasConceptScore W2899043600C177264268 @default.
• W2899043600 hasConceptScore W2899043600C199360897 @default.
• W2899043600 hasConceptScore W2899043600C25016198 @default.
• W2899043600 hasConceptScore W2899043600C2779662365 @default.
• W2899043600 hasConceptScore W2899043600C41008148 @default.
• W2899043600 hasConceptScore W2899043600C49937458 @default.
• W2899043600 hasConceptScore W2899043600C62520636 @default.
• W2899043600 hasConceptScore W2899043600C80444323 @default.
• W2899043600 hasIssue "1" @default.
• W2899043600 hasLocation W28990436001 @default.
• W2899043600 hasLocation W28990436002 @default.
• W2899043600 hasLocation W28990436003 @default.
• W2899043600 hasLocation W28990436004 @default.
• W2899043600 hasOpenAccess W2899043600 @default.
• W2899043600 hasPrimaryLocation W28990436001 @default.
• W2899043600 hasRelatedWork W1544057077 @default.
• W2899043600 hasRelatedWork W1656025398 @default.
• W2899043600 hasRelatedWork W2120106863 @default.
• W2899043600 hasRelatedWork W2481947210 @default.
• W2899043600 hasRelatedWork W2610458644 @default.
• W2899043600 hasRelatedWork W2761522698 @default.
• W2899043600 hasRelatedWork W2768847397 @default.
• W2899043600 hasRelatedWork W2886322429 @default.

• next