Matches in SemOpenAlex for { <https://semopenalex.org/work/W3037614418> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3037614418 abstract "We show that a history-based variant of alternating bisimulation with imperfect information allows it to be related to a variant of Alternating-time Temporal Logic (ATL) with imperfect information by a full Hennessy-Milner theorem. The variant of ATL we consider has a common knowledge semantics, which requires that the uniform strategy available for a coalition to accomplish some goal must be common knowledge inside the coalition, while other semantic variants of ATL with imperfect information do not accommodate a Hennessy-Milner theorem. We also show that the existence of a history-based alternating bisimulation between two finite Concurrent Game Structures with imperfect information (iCGS) is undecidable." @default.
- W3037614418 created "2020-07-02" @default.
- W3037614418 creator A5015622908 @default.
- W3037614418 creator A5026864209 @default.
- W3037614418 creator A5055883955 @default.
- W3037614418 creator A5069463747 @default.
- W3037614418 date "2020-06-26" @default.
- W3037614418 modified "2023-10-18" @default.
- W3037614418 title "A Hennessy-Milner Theorem for ATL with Imperfect Information" @default.
- W3037614418 cites W1562998059 @default.
- W3037614418 cites W1589421353 @default.
- W3037614418 cites W1606443439 @default.
- W3037614418 cites W199673169 @default.
- W3037614418 cites W2015907520 @default.
- W3037614418 cites W2018933130 @default.
- W3037614418 cites W2048905609 @default.
- W3037614418 cites W2146819619 @default.
- W3037614418 cites W2157438678 @default.
- W3037614418 cites W2159652932 @default.
- W3037614418 cites W2162156616 @default.
- W3037614418 cites W2260785341 @default.
- W3037614418 cites W2276870398 @default.
- W3037614418 cites W2621273170 @default.
- W3037614418 cites W2891752042 @default.
- W3037614418 cites W2898907151 @default.
- W3037614418 cites W3014890138 @default.
- W3037614418 hasPublicationYear "2020" @default.
- W3037614418 type Work @default.
- W3037614418 sameAs 3037614418 @default.
- W3037614418 citedByCount "0" @default.
- W3037614418 crossrefType "posted-content" @default.
- W3037614418 hasAuthorship W3037614418A5015622908 @default.
- W3037614418 hasAuthorship W3037614418A5026864209 @default.
- W3037614418 hasAuthorship W3037614418A5055883955 @default.
- W3037614418 hasAuthorship W3037614418A5069463747 @default.
- W3037614418 hasConcept C118615104 @default.
- W3037614418 hasConcept C123676819 @default.
- W3037614418 hasConcept C135315306 @default.
- W3037614418 hasConcept C138885662 @default.
- W3037614418 hasConcept C144237770 @default.
- W3037614418 hasConcept C153269930 @default.
- W3037614418 hasConcept C184337299 @default.
- W3037614418 hasConcept C192034797 @default.
- W3037614418 hasConcept C199360897 @default.
- W3037614418 hasConcept C2780310539 @default.
- W3037614418 hasConcept C33923547 @default.
- W3037614418 hasConcept C41008148 @default.
- W3037614418 hasConcept C41895202 @default.
- W3037614418 hasConcept C80444323 @default.
- W3037614418 hasConceptScore W3037614418C118615104 @default.
- W3037614418 hasConceptScore W3037614418C123676819 @default.
- W3037614418 hasConceptScore W3037614418C135315306 @default.
- W3037614418 hasConceptScore W3037614418C138885662 @default.
- W3037614418 hasConceptScore W3037614418C144237770 @default.
- W3037614418 hasConceptScore W3037614418C153269930 @default.
- W3037614418 hasConceptScore W3037614418C184337299 @default.
- W3037614418 hasConceptScore W3037614418C192034797 @default.
- W3037614418 hasConceptScore W3037614418C199360897 @default.
- W3037614418 hasConceptScore W3037614418C2780310539 @default.
- W3037614418 hasConceptScore W3037614418C33923547 @default.
- W3037614418 hasConceptScore W3037614418C41008148 @default.
- W3037614418 hasConceptScore W3037614418C41895202 @default.
- W3037614418 hasConceptScore W3037614418C80444323 @default.
- W3037614418 hasLocation W30376144181 @default.
- W3037614418 hasOpenAccess W3037614418 @default.
- W3037614418 hasPrimaryLocation W30376144181 @default.
- W3037614418 hasRelatedWork W1447540840 @default.
- W3037614418 hasRelatedWork W1591710362 @default.
- W3037614418 hasRelatedWork W1596619087 @default.
- W3037614418 hasRelatedWork W1669381862 @default.
- W3037614418 hasRelatedWork W1895147333 @default.
- W3037614418 hasRelatedWork W1972567665 @default.
- W3037614418 hasRelatedWork W1980836588 @default.
- W3037614418 hasRelatedWork W2048826020 @default.
- W3037614418 hasRelatedWork W2055350841 @default.
- W3037614418 hasRelatedWork W2073640081 @default.
- W3037614418 hasRelatedWork W2395398205 @default.
- W3037614418 hasRelatedWork W2570165438 @default.
- W3037614418 hasRelatedWork W2583633540 @default.
- W3037614418 hasRelatedWork W2612833251 @default.
- W3037614418 hasRelatedWork W2620286833 @default.
- W3037614418 hasRelatedWork W2775578497 @default.
- W3037614418 hasRelatedWork W3021264465 @default.
- W3037614418 hasRelatedWork W3028910507 @default.
- W3037614418 hasRelatedWork W2052295798 @default.
- W3037614418 hasRelatedWork W2738420320 @default.
- W3037614418 isParatext "false" @default.
- W3037614418 isRetracted "false" @default.
- W3037614418 magId "3037614418" @default.
- W3037614418 workType "article" @default.