Matches in SemOpenAlex for { <https://semopenalex.org/work/W2284030881> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2284030881 abstract "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 system components 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 extensively studied, and the complexity of game theoretic decision problems relating to such games (such as the existence of Nash equilibria) have been comprehensively classified. In this article, we study Reactive Modules Games in which agents have only partial visibility of their environment." @default.
- W2284030881 created "2016-06-24" @default.
- W2284030881 creator A5007740136 @default.
- W2284030881 creator A5065393757 @default.
- W2284030881 creator A5066350298 @default.
- W2284030881 date "2016-04-29" @default.
- W2284030881 modified "2023-09-30" @default.
- W2284030881 title "Imperfect Information in Reactive Modules Games" @default.
- W2284030881 hasPublicationYear "2016" @default.
- W2284030881 type Work @default.
- W2284030881 sameAs 2284030881 @default.
- W2284030881 citedByCount "4" @default.
- W2284030881 countsByYear W22840308812017 @default.
- W2284030881 countsByYear W22840308812020 @default.
- W2284030881 countsByYear W22840308812021 @default.
- W2284030881 crossrefType "journal-article" @default.
- W2284030881 hasAuthorship W2284030881A5007740136 @default.
- W2284030881 hasAuthorship W2284030881A5065393757 @default.
- W2284030881 hasAuthorship W2284030881A5066350298 @default.
- W2284030881 hasConcept C120665830 @default.
- W2284030881 hasConcept C121332964 @default.
- W2284030881 hasConcept C123403432 @default.
- W2284030881 hasConcept C123676819 @default.
- W2284030881 hasConcept C138885662 @default.
- W2284030881 hasConcept C144237770 @default.
- W2284030881 hasConcept C199360897 @default.
- W2284030881 hasConcept C25016198 @default.
- W2284030881 hasConcept C2778029271 @default.
- W2284030881 hasConcept C2780310539 @default.
- W2284030881 hasConcept C33923547 @default.
- W2284030881 hasConcept C41008148 @default.
- W2284030881 hasConcept C41895202 @default.
- W2284030881 hasConcept C46814582 @default.
- W2284030881 hasConcept C80444323 @default.
- W2284030881 hasConceptScore W2284030881C120665830 @default.
- W2284030881 hasConceptScore W2284030881C121332964 @default.
- W2284030881 hasConceptScore W2284030881C123403432 @default.
- W2284030881 hasConceptScore W2284030881C123676819 @default.
- W2284030881 hasConceptScore W2284030881C138885662 @default.
- W2284030881 hasConceptScore W2284030881C144237770 @default.
- W2284030881 hasConceptScore W2284030881C199360897 @default.
- W2284030881 hasConceptScore W2284030881C25016198 @default.
- W2284030881 hasConceptScore W2284030881C2778029271 @default.
- W2284030881 hasConceptScore W2284030881C2780310539 @default.
- W2284030881 hasConceptScore W2284030881C33923547 @default.
- W2284030881 hasConceptScore W2284030881C41008148 @default.
- W2284030881 hasConceptScore W2284030881C41895202 @default.
- W2284030881 hasConceptScore W2284030881C46814582 @default.
- W2284030881 hasConceptScore W2284030881C80444323 @default.
- W2284030881 hasLocation W22840308811 @default.
- W2284030881 hasOpenAccess W2284030881 @default.
- W2284030881 hasPrimaryLocation W22840308811 @default.
- W2284030881 hasRelatedWork W1519314965 @default.
- W2284030881 hasRelatedWork W2003227046 @default.
- W2284030881 hasRelatedWork W2032254841 @default.
- W2284030881 hasRelatedWork W2043435342 @default.
- W2284030881 hasRelatedWork W2057905493 @default.
- W2284030881 hasRelatedWork W2108947407 @default.
- W2284030881 hasRelatedWork W2109100253 @default.
- W2284030881 hasRelatedWork W2139456106 @default.
- W2284030881 hasRelatedWork W2293280374 @default.
- W2284030881 hasRelatedWork W2791557958 @default.
- W2284030881 hasRelatedWork W2907076078 @default.
- W2284030881 hasRelatedWork W2912248071 @default.
- W2284030881 hasRelatedWork W2912494578 @default.
- W2284030881 hasRelatedWork W2912904668 @default.
- W2284030881 hasRelatedWork W2954682350 @default.
- W2284030881 hasRelatedWork W2993543941 @default.
- W2284030881 hasRelatedWork W3034407568 @default.
- W2284030881 hasRelatedWork W3042980517 @default.
- W2284030881 hasRelatedWork W3048519602 @default.
- W2284030881 hasRelatedWork W3156591606 @default.
- W2284030881 isParatext "false" @default.
- W2284030881 isRetracted "false" @default.
- W2284030881 magId "2284030881" @default.
- W2284030881 workType "article" @default.