FRINK Linked Data Fragments server

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

• W3048785384 abstract "In the context of multi-agent systems, the rational verification problem is concerned with checking which temporal logic properties will hold in a system when its constituent agents are assumed to behave rationally and strategically in pursuit of individual objectives. Typically, those objectives are expressed as temporal logic formulae which the relevant agent desires to see satisfied. Unfortunately, rational verification is computationally complex, and requires specialised techniques in order to obtain practically useable implementations. In this paper, we present such a technique. This technique relies on a reduction of the rational verification problem to the solution of a collection of parity games. Our approach has been implemented in the Equilibrium Verification Environment (EVE) system. The EVE system takes as input a model of a concurrent/multi-agent system represented using the Simple Reactive Modules Language (SRML), where agent goals are represented as Linear Temporal Logic (LTL) formulae, together with a claim about the equilibrium behaviour of the system, also expressed as an LTL formula. EVE can then check whether the LTL claim holds on some (or every) computation of the system that could arise through agents choosing Nash equilibrium strategies; it can also check whether a system has a Nash equilibrium, and synthesise individual strategies for players in the multi-player game. After presenting our basic framework, we describe our new technique and prove its correctness. We then describe our implementation in the EVE system, and present experimental results which show that EVE performs favourably in comparison to other existing tools that support rational verification." @default.
• W3048785384 created "2020-08-18" @default.
• W3048785384 creator A5007740136 @default.
• W3048785384 creator A5065393757 @default.
• W3048785384 creator A5066350298 @default.
• W3048785384 creator A5076225050 @default.
• W3048785384 date "2020-08-13" @default.
• W3048785384 modified "2023-09-30" @default.
• W3048785384 title "Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games" @default.
• W3048785384 cites W1503973138 @default.
• W3048785384 cites W1586030051 @default.
• W3048785384 cites W1596365597 @default.
• W3048785384 cites W1976773489 @default.
• W3048785384 cites W1978469611 @default.
• W3048785384 cites W1985161650 @default.
• W3048785384 cites W1993760875 @default.
• W3048785384 cites W2023808162 @default.
• W3048785384 cites W2025767136 @default.
• W3048785384 cites W2041509965 @default.
• W3048785384 cites W2043435342 @default.
• W3048785384 cites W2048905609 @default.
• W3048785384 cites W2057905493 @default.
• W3048785384 cites W2089003125 @default.
• W3048785384 cites W2099126437 @default.
• W3048785384 cites W2102242479 @default.
• W3048785384 cites W2107144615 @default.
• W3048785384 cites W2108947407 @default.
• W3048785384 cites W2124254247 @default.
• W3048785384 cites W2137865376 @default.
• W3048785384 cites W2142133061 @default.
• W3048785384 cites W2142849519 @default.
• W3048785384 cites W2143874329 @default.
• W3048785384 cites W2156027558 @default.
• W3048785384 cites W2166423024 @default.
• W3048785384 cites W2168360220 @default.
• W3048785384 cites W2170933628 @default.
• W3048785384 cites W2179217959 @default.
• W3048785384 cites W2253667164 @default.
• W3048785384 cites W2293280374 @default.
• W3048785384 cites W2340735175 @default.
• W3048785384 cites W2396555304 @default.
• W3048785384 cites W2396841565 @default.
• W3048785384 cites W2399991372 @default.
• W3048785384 cites W2463621242 @default.
• W3048785384 cites W2473183186 @default.
• W3048785384 cites W2530905289 @default.
• W3048785384 cites W2578616927 @default.
• W3048785384 cites W2586521831 @default.
• W3048785384 cites W2606396104 @default.
• W3048785384 cites W2620807953 @default.
• W3048785384 cites W2621267128 @default.
• W3048785384 cites W2740075325 @default.
• W3048785384 cites W2791557958 @default.
• W3048785384 cites W2804031838 @default.
• W3048785384 cites W2812104613 @default.
• W3048785384 cites W2893380061 @default.
• W3048785384 cites W2912198824 @default.
• W3048785384 cites W2912248071 @default.
• W3048785384 cites W2912494578 @default.
• W3048785384 cites W2912904668 @default.
• W3048785384 cites W2913483564 @default.
• W3048785384 cites W2964771972 @default.
• W3048785384 cites W2977509914 @default.
• W3048785384 cites W3037477934 @default.
• W3048785384 cites W3104153544 @default.
• W3048785384 cites W34205182 @default.
• W3048785384 cites W824553004 @default.
• W3048785384 hasPublicationYear "2020" @default.
• W3048785384 type Work @default.
• W3048785384 sameAs 3048785384 @default.
• W3048785384 citedByCount "0" @default.
• W3048785384 crossrefType "posted-content" @default.
• W3048785384 hasAuthorship W3048785384A5007740136 @default.
• W3048785384 hasAuthorship W3048785384A5065393757 @default.
• W3048785384 hasAuthorship W3048785384A5066350298 @default.
• W3048785384 hasAuthorship W3048785384A5076225050 @default.
• W3048785384 hasConcept C110251889 @default.
• W3048785384 hasConcept C144237770 @default.
• W3048785384 hasConcept C151730666 @default.
• W3048785384 hasConcept C199360897 @default.
• W3048785384 hasConcept C25016198 @default.
• W3048785384 hasConcept C26713055 @default.
• W3048785384 hasConcept C2779343474 @default.
• W3048785384 hasConcept C33923547 @default.
• W3048785384 hasConcept C41008148 @default.
• W3048785384 hasConcept C46814582 @default.
• W3048785384 hasConcept C4777664 @default.
• W3048785384 hasConcept C55439883 @default.
• W3048785384 hasConcept C80444323 @default.
• W3048785384 hasConcept C86803240 @default.
• W3048785384 hasConceptScore W3048785384C110251889 @default.
• W3048785384 hasConceptScore W3048785384C144237770 @default.
• W3048785384 hasConceptScore W3048785384C151730666 @default.
• W3048785384 hasConceptScore W3048785384C199360897 @default.
• W3048785384 hasConceptScore W3048785384C25016198 @default.
• W3048785384 hasConceptScore W3048785384C26713055 @default.
• W3048785384 hasConceptScore W3048785384C2779343474 @default.
• W3048785384 hasConceptScore W3048785384C33923547 @default.
• W3048785384 hasConceptScore W3048785384C41008148 @default.
• W3048785384 hasConceptScore W3048785384C46814582 @default.

• next