Matches in SemOpenAlex for { <https://semopenalex.org/work/W2576933305> ?p ?o ?g. }
- W2576933305 endingPage "399" @default.
- W2576933305 startingPage "390" @default.
- W2576933305 abstract "Reactive Modules is a high-level modelling language for concurrent, distributed, and multi-agent systems, which is used in a number of practical model checking tools. Reactive Modules Games are a game-theoretic extension of Reactive Modules, in which agents in a system are assumed to act strategically in an attempt to satisfy a temporal logic formula representing their individual goal. Reactive Modules Games with perfect information have been closely studied, and the complexity of game theoretic decision problems relating to such games have been comprehensively classified. However, to date, no work has considered the imperfect information case. In this paper we address this gap, investigating Reactive Modules Games in which agents have only partial visibility of their environment." @default.
- W2576933305 created "2017-01-26" @default.
- W2576933305 creator A5007740136 @default.
- W2576933305 creator A5065393757 @default.
- W2576933305 creator A5066350298 @default.
- W2576933305 date "2016-04-25" @default.
- W2576933305 modified "2023-09-30" @default.
- W2576933305 title "Imperfect information in reactive modules games" @default.
- W2576933305 cites W1485309947 @default.
- W2576933305 cites W1504862800 @default.
- W2576933305 cites W1562978104 @default.
- W2576933305 cites W1587990038 @default.
- W2576933305 cites W1610578937 @default.
- W2576933305 cites W1737156267 @default.
- W2576933305 cites W1862398452 @default.
- W2576933305 cites W1973302434 @default.
- W2576933305 cites W1976773489 @default.
- W2576933305 cites W1983796355 @default.
- W2576933305 cites W2003227046 @default.
- W2576933305 cites W2005684815 @default.
- W2576933305 cites W2048905609 @default.
- W2576933305 cites W2057905493 @default.
- W2576933305 cites W2066327004 @default.
- W2576933305 cites W2108947407 @default.
- W2576933305 cites W2109100253 @default.
- W2576933305 cites W2115456224 @default.
- W2576933305 cites W2121108713 @default.
- W2576933305 cites W2133884792 @default.
- W2576933305 cites W2210855581 @default.
- W2576933305 cites W2260785341 @default.
- W2576933305 cites W2340735175 @default.
- W2576933305 cites W2396841565 @default.
- W2576933305 cites W2952060807 @default.
- W2576933305 hasPublicationYear "2016" @default.
- W2576933305 type Work @default.
- W2576933305 sameAs 2576933305 @default.
- W2576933305 citedByCount "0" @default.
- W2576933305 crossrefType "proceedings-article" @default.
- W2576933305 hasAuthorship W2576933305A5007740136 @default.
- W2576933305 hasAuthorship W2576933305A5065393757 @default.
- W2576933305 hasAuthorship W2576933305A5066350298 @default.
- W2576933305 hasConcept C110251889 @default.
- W2576933305 hasConcept C120665830 @default.
- W2576933305 hasConcept C121332964 @default.
- W2576933305 hasConcept C123403432 @default.
- W2576933305 hasConcept C123676819 @default.
- W2576933305 hasConcept C138885662 @default.
- W2576933305 hasConcept C144237770 @default.
- W2576933305 hasConcept C177142836 @default.
- W2576933305 hasConcept C199360897 @default.
- W2576933305 hasConcept C25016198 @default.
- W2576933305 hasConcept C2778029271 @default.
- W2576933305 hasConcept C2780310539 @default.
- W2576933305 hasConcept C33923547 @default.
- W2576933305 hasConcept C41008148 @default.
- W2576933305 hasConcept C41895202 @default.
- W2576933305 hasConcept C4777664 @default.
- W2576933305 hasConcept C80444323 @default.
- W2576933305 hasConceptScore W2576933305C110251889 @default.
- W2576933305 hasConceptScore W2576933305C120665830 @default.
- W2576933305 hasConceptScore W2576933305C121332964 @default.
- W2576933305 hasConceptScore W2576933305C123403432 @default.
- W2576933305 hasConceptScore W2576933305C123676819 @default.
- W2576933305 hasConceptScore W2576933305C138885662 @default.
- W2576933305 hasConceptScore W2576933305C144237770 @default.
- W2576933305 hasConceptScore W2576933305C177142836 @default.
- W2576933305 hasConceptScore W2576933305C199360897 @default.
- W2576933305 hasConceptScore W2576933305C25016198 @default.
- W2576933305 hasConceptScore W2576933305C2778029271 @default.
- W2576933305 hasConceptScore W2576933305C2780310539 @default.
- W2576933305 hasConceptScore W2576933305C33923547 @default.
- W2576933305 hasConceptScore W2576933305C41008148 @default.
- W2576933305 hasConceptScore W2576933305C41895202 @default.
- W2576933305 hasConceptScore W2576933305C4777664 @default.
- W2576933305 hasConceptScore W2576933305C80444323 @default.
- W2576933305 hasLocation W25769333051 @default.
- W2576933305 hasOpenAccess W2576933305 @default.
- W2576933305 hasPrimaryLocation W25769333051 @default.
- W2576933305 hasRelatedWork W100452662 @default.
- W2576933305 hasRelatedWork W1546531970 @default.
- W2576933305 hasRelatedWork W1559487689 @default.
- W2576933305 hasRelatedWork W1674334966 @default.
- W2576933305 hasRelatedWork W1743776871 @default.
- W2576933305 hasRelatedWork W1793484581 @default.
- W2576933305 hasRelatedWork W186063047 @default.
- W2576933305 hasRelatedWork W201512187 @default.
- W2576933305 hasRelatedWork W2017551364 @default.
- W2576933305 hasRelatedWork W2072514121 @default.
- W2576933305 hasRelatedWork W2152632857 @default.
- W2576933305 hasRelatedWork W215550841 @default.
- W2576933305 hasRelatedWork W2467172609 @default.
- W2576933305 hasRelatedWork W2478958386 @default.
- W2576933305 hasRelatedWork W2558555810 @default.
- W2576933305 hasRelatedWork W2898426924 @default.
- W2576933305 hasRelatedWork W2911747849 @default.
- W2576933305 hasRelatedWork W2976271199 @default.
- W2576933305 hasRelatedWork W2983822697 @default.
- W2576933305 hasRelatedWork W3114036346 @default.