Matches in SemOpenAlex for { <https://semopenalex.org/work/W3179724253> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W3179724253 abstract "We define a game on distributed Petri nets, where several players interact with each other, and with an environment. The players, or users, have perfect knowledge of the current state, and pursue a common goal. Such goal is expressed by Alternating-time Temporal Logic (ATL). The users have a winning strategy if they can cooperate to reach their goal, no matter how the environment behaves. We show that such a game can be translated into a game on concurrent game structures (introduced in order to give a semantics to ATL). We compare our game with the game on concurrent game structures and discuss the differences between the two approaches. Finally, we show that, when we consider memoryless strategies and a fragment of ATL, we can construct a concurrent game structure from the Petri net, such that an ATL formula is verified on the net if, and only if, it is verified on the game structure." @default.
- W3179724253 created "2021-07-19" @default.
- W3179724253 creator A5039309155 @default.
- W3179724253 creator A5069439260 @default.
- W3179724253 creator A5071166273 @default.
- W3179724253 date "2021-07-14" @default.
- W3179724253 modified "2023-09-27" @default.
- W3179724253 title "Asynchronous games on Petri nets and ATL." @default.
- W3179724253 cites W125634580 @default.
- W3179724253 cites W1516590303 @default.
- W3179724253 cites W1575266979 @default.
- W3179724253 cites W1993831991 @default.
- W3179724253 cites W2031522732 @default.
- W3179724253 cites W2036635964 @default.
- W3179724253 cites W2040633651 @default.
- W3179724253 cites W2048905609 @default.
- W3179724253 cites W2611142031 @default.
- W3179724253 cites W2800575625 @default.
- W3179724253 cites W2886208598 @default.
- W3179724253 cites W2955847599 @default.
- W3179724253 cites W2970975965 @default.
- W3179724253 hasPublicationYear "2021" @default.
- W3179724253 type Work @default.
- W3179724253 sameAs 3179724253 @default.
- W3179724253 citedByCount "0" @default.
- W3179724253 crossrefType "posted-content" @default.
- W3179724253 hasAuthorship W3179724253A5039309155 @default.
- W3179724253 hasAuthorship W3179724253A5069439260 @default.
- W3179724253 hasAuthorship W3179724253A5071166273 @default.
- W3179724253 hasConcept C120314980 @default.
- W3179724253 hasConcept C151319957 @default.
- W3179724253 hasConcept C184337299 @default.
- W3179724253 hasConcept C199360897 @default.
- W3179724253 hasConcept C25016198 @default.
- W3179724253 hasConcept C2780801425 @default.
- W3179724253 hasConcept C31258907 @default.
- W3179724253 hasConcept C38677869 @default.
- W3179724253 hasConcept C41008148 @default.
- W3179724253 hasConcept C48103436 @default.
- W3179724253 hasConcept C80444323 @default.
- W3179724253 hasConceptScore W3179724253C120314980 @default.
- W3179724253 hasConceptScore W3179724253C151319957 @default.
- W3179724253 hasConceptScore W3179724253C184337299 @default.
- W3179724253 hasConceptScore W3179724253C199360897 @default.
- W3179724253 hasConceptScore W3179724253C25016198 @default.
- W3179724253 hasConceptScore W3179724253C2780801425 @default.
- W3179724253 hasConceptScore W3179724253C31258907 @default.
- W3179724253 hasConceptScore W3179724253C38677869 @default.
- W3179724253 hasConceptScore W3179724253C41008148 @default.
- W3179724253 hasConceptScore W3179724253C48103436 @default.
- W3179724253 hasConceptScore W3179724253C80444323 @default.
- W3179724253 hasLocation W31797242531 @default.
- W3179724253 hasOpenAccess W3179724253 @default.
- W3179724253 hasPrimaryLocation W31797242531 @default.
- W3179724253 hasRelatedWork W160807342 @default.
- W3179724253 hasRelatedWork W197077171 @default.
- W3179724253 hasRelatedWork W1993831991 @default.
- W3179724253 hasRelatedWork W2023074074 @default.
- W3179724253 hasRelatedWork W2100989920 @default.
- W3179724253 hasRelatedWork W2109058602 @default.
- W3179724253 hasRelatedWork W2143870306 @default.
- W3179724253 hasRelatedWork W2295266152 @default.
- W3179724253 hasRelatedWork W2461037185 @default.
- W3179724253 hasRelatedWork W2530905289 @default.
- W3179724253 hasRelatedWork W2899662671 @default.
- W3179724253 hasRelatedWork W2912248071 @default.
- W3179724253 hasRelatedWork W2952846218 @default.
- W3179724253 hasRelatedWork W2977699260 @default.
- W3179724253 hasRelatedWork W3101170874 @default.
- W3179724253 hasRelatedWork W3137578428 @default.
- W3179724253 hasRelatedWork W3166627015 @default.
- W3179724253 hasRelatedWork W3167615348 @default.
- W3179724253 hasRelatedWork W3187426120 @default.
- W3179724253 hasRelatedWork W5120938 @default.
- W3179724253 isParatext "false" @default.
- W3179724253 isRetracted "false" @default.
- W3179724253 magId "3179724253" @default.
- W3179724253 workType "article" @default.