FRINK Linked Data Fragments server

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

• W2620807953 endingPage "713" @default.
• W2620807953 startingPage "705" @default.
• W2620807953 abstract "Rational verification is the problem of understanding what temporal logic properties hold of a multi-agent system when agents are modelled as players in a game, each acting rationally in pursuit of personal preferences. More specifically, rational verification asks whether a given property, expressed as a temporal logic formula, is satisfied in a computation of the system that might be generated if agents within the system choose strategies for selecting actions that form a Nash equilibrium. We show that, when agents are modelled using the Simple Reactive Modules Language, a widely-used system modelling language for concurrent and multi-agent systems, this problem can be reduced to a simpler query: whether some iterated game---in which players have control over a finite set of Boolean variables and goals expressed as Linear Temporal Logic (LTL) formulae---has a Nash equilibrium. To better understand the complexity of solving this kind of verification problem in practice, we then study the two-player case for various types of LTL goals, present some experimental results, and describe a general technique to implement rational verification using MCMAS, a model checking tool for the verification of concurrent and multi-agent systems." @default.
• W2620807953 created "2017-06-09" @default.
• W2620807953 creator A5007740136 @default.
• W2620807953 creator A5065393757 @default.
• W2620807953 creator A5065802530 @default.
• W2620807953 date "2017-05-08" @default.
• W2620807953 modified "2023-09-27" @default.
• W2620807953 title "Iterated Boolean Games for Rational Verification" @default.
• W2620807953 cites W125598877 @default.
• W2620807953 cites W1485309947 @default.
• W2620807953 cites W1737156267 @default.
• W2620807953 cites W1794274623 @default.
• W2620807953 cites W1975822154 @default.
• W2620807953 cites W1976097854 @default.
• W2620807953 cites W2004306067 @default.
• W2620807953 cites W2005684815 @default.
• W2620807953 cites W2024664992 @default.
• W2620807953 cites W2041509965 @default.
• W2620807953 cites W2043435342 @default.
• W2620807953 cites W2044339820 @default.
• W2620807953 cites W2048905609 @default.
• W2620807953 cites W2057905493 @default.
• W2620807953 cites W2097289499 @default.
• W2620807953 cites W2108947407 @default.
• W2620807953 cites W2109100253 @default.
• W2620807953 cites W2146819619 @default.
• W2620807953 cites W2210855581 @default.
• W2620807953 cites W2284030881 @default.
• W2620807953 cites W2293280374 @default.
• W2620807953 cites W2396841565 @default.
• W2620807953 cites W2912248071 @default.
• W2620807953 cites W2912494578 @default.
• W2620807953 cites W2912904668 @default.
• W2620807953 doi "https://doi.org/10.5555/3091125.3091226" @default.
• W2620807953 hasPublicationYear "2017" @default.
• W2620807953 type Work @default.
• W2620807953 sameAs 2620807953 @default.
• W2620807953 citedByCount "1" @default.
• W2620807953 countsByYear W26208079532020 @default.
• W2620807953 crossrefType "proceedings-article" @default.
• W2620807953 hasAuthorship W2620807953A5007740136 @default.
• W2620807953 hasAuthorship W2620807953A5065393757 @default.
• W2620807953 hasAuthorship W2620807953A5065802530 @default.
• W2620807953 hasConcept C110251889 @default.
• W2620807953 hasConcept C111472728 @default.
• W2620807953 hasConcept C126255220 @default.
• W2620807953 hasConcept C134306372 @default.
• W2620807953 hasConcept C138885662 @default.
• W2620807953 hasConcept C140479938 @default.
• W2620807953 hasConcept C154945302 @default.
• W2620807953 hasConcept C177264268 @default.
• W2620807953 hasConcept C189950617 @default.
• W2620807953 hasConcept C199360897 @default.
• W2620807953 hasConcept C25016198 @default.
• W2620807953 hasConcept C33923547 @default.
• W2620807953 hasConcept C41008148 @default.
• W2620807953 hasConcept C41550386 @default.
• W2620807953 hasConcept C46814582 @default.
• W2620807953 hasConcept C4777664 @default.
• W2620807953 hasConcept C7342684 @default.
• W2620807953 hasConcept C80444323 @default.
• W2620807953 hasConceptScore W2620807953C110251889 @default.
• W2620807953 hasConceptScore W2620807953C111472728 @default.
• W2620807953 hasConceptScore W2620807953C126255220 @default.
• W2620807953 hasConceptScore W2620807953C134306372 @default.
• W2620807953 hasConceptScore W2620807953C138885662 @default.
• W2620807953 hasConceptScore W2620807953C140479938 @default.
• W2620807953 hasConceptScore W2620807953C154945302 @default.
• W2620807953 hasConceptScore W2620807953C177264268 @default.
• W2620807953 hasConceptScore W2620807953C189950617 @default.
• W2620807953 hasConceptScore W2620807953C199360897 @default.
• W2620807953 hasConceptScore W2620807953C25016198 @default.
• W2620807953 hasConceptScore W2620807953C33923547 @default.
• W2620807953 hasConceptScore W2620807953C41008148 @default.
• W2620807953 hasConceptScore W2620807953C41550386 @default.
• W2620807953 hasConceptScore W2620807953C46814582 @default.
• W2620807953 hasConceptScore W2620807953C4777664 @default.
• W2620807953 hasConceptScore W2620807953C7342684 @default.
• W2620807953 hasConceptScore W2620807953C80444323 @default.
• W2620807953 hasLocation W26208079531 @default.
• W2620807953 hasOpenAccess W2620807953 @default.
• W2620807953 hasPrimaryLocation W26208079531 @default.
• W2620807953 hasRelatedWork W1550914617 @default.
• W2620807953 hasRelatedWork W1558074807 @default.
• W2620807953 hasRelatedWork W2039485990 @default.
• W2620807953 hasRelatedWork W2104115705 @default.
• W2620807953 hasRelatedWork W2141542945 @default.
• W2620807953 hasRelatedWork W2182890846 @default.
• W2620807953 hasRelatedWork W2254161830 @default.
• W2620807953 hasRelatedWork W2275796373 @default.
• W2620807953 hasRelatedWork W2505627961 @default.
• W2620807953 hasRelatedWork W2765525724 @default.
• W2620807953 hasRelatedWork W2919457493 @default.
• W2620807953 hasRelatedWork W2952420532 @default.
• W2620807953 hasRelatedWork W3095638317 @default.
• W2620807953 hasRelatedWork W315297162 @default.
• W2620807953 hasRelatedWork W3172152736 @default.
• W2620807953 hasRelatedWork W3185398385 @default.

• next