Matches in SemOpenAlex for { <https://semopenalex.org/work/W5120938> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W5120938 abstract "In this paper, we study two-player games played on innite but monotonic game structures. We concentrate on coverability games, a natural subclass of reachability games in the context of monotonic game structures. On the negative side, we show that surprisingly, and contrary to the one-player case, coverability is undecidable on two-player mono- tonic game structures. On the positive side, we identify an interesting subclass of two-player monotonic game structures, for which coverability is decidable and for which we can eectiv ely construct winning strate- gies. Furthermore, we show how to dene two-player game structures that belong to that subclass with Petri nets. The results of this paper are compared to recent results obtained independently by Abdulla, Boua- jjani and d'Orso on similar game structures where they identify another subclass of monotonic game structures with decidable results." @default.
- W5120938 created "2016-06-24" @default.
- W5120938 creator A5018710897 @default.
- W5120938 creator A5032668408 @default.
- W5120938 creator A5047981236 @default.
- W5120938 date "2003-01-01" @default.
- W5120938 modified "2023-09-27" @default.
- W5120938 title "Petri Games are Monotonic but Dicult to Decide" @default.
- W5120938 cites W1868359205 @default.
- W5120938 cites W1967174286 @default.
- W5120938 cites W2012140001 @default.
- W5120938 cites W2076508310 @default.
- W5120938 cites W2101508170 @default.
- W5120938 cites W2123910665 @default.
- W5120938 cites W2144965436 @default.
- W5120938 cites W2150954457 @default.
- W5120938 cites W2268014521 @default.
- W5120938 hasPublicationYear "2003" @default.
- W5120938 type Work @default.
- W5120938 sameAs 5120938 @default.
- W5120938 citedByCount "1" @default.
- W5120938 crossrefType "journal-article" @default.
- W5120938 hasAuthorship W5120938A5018710897 @default.
- W5120938 hasAuthorship W5120938A5032668408 @default.
- W5120938 hasAuthorship W5120938A5047981236 @default.
- W5120938 hasConcept C102234262 @default.
- W5120938 hasConcept C118615104 @default.
- W5120938 hasConcept C134306372 @default.
- W5120938 hasConcept C136643341 @default.
- W5120938 hasConcept C144237770 @default.
- W5120938 hasConcept C151730666 @default.
- W5120938 hasConcept C153269930 @default.
- W5120938 hasConcept C159654299 @default.
- W5120938 hasConcept C177142836 @default.
- W5120938 hasConcept C192034797 @default.
- W5120938 hasConcept C202556891 @default.
- W5120938 hasConcept C203014093 @default.
- W5120938 hasConcept C2776194381 @default.
- W5120938 hasConcept C2779343474 @default.
- W5120938 hasConcept C33923547 @default.
- W5120938 hasConcept C41008148 @default.
- W5120938 hasConcept C46814582 @default.
- W5120938 hasConcept C72169020 @default.
- W5120938 hasConcept C80444323 @default.
- W5120938 hasConcept C86803240 @default.
- W5120938 hasConceptScore W5120938C102234262 @default.
- W5120938 hasConceptScore W5120938C118615104 @default.
- W5120938 hasConceptScore W5120938C134306372 @default.
- W5120938 hasConceptScore W5120938C136643341 @default.
- W5120938 hasConceptScore W5120938C144237770 @default.
- W5120938 hasConceptScore W5120938C151730666 @default.
- W5120938 hasConceptScore W5120938C153269930 @default.
- W5120938 hasConceptScore W5120938C159654299 @default.
- W5120938 hasConceptScore W5120938C177142836 @default.
- W5120938 hasConceptScore W5120938C192034797 @default.
- W5120938 hasConceptScore W5120938C202556891 @default.
- W5120938 hasConceptScore W5120938C203014093 @default.
- W5120938 hasConceptScore W5120938C2776194381 @default.
- W5120938 hasConceptScore W5120938C2779343474 @default.
- W5120938 hasConceptScore W5120938C33923547 @default.
- W5120938 hasConceptScore W5120938C41008148 @default.
- W5120938 hasConceptScore W5120938C46814582 @default.
- W5120938 hasConceptScore W5120938C72169020 @default.
- W5120938 hasConceptScore W5120938C80444323 @default.
- W5120938 hasConceptScore W5120938C86803240 @default.
- W5120938 hasLocation W51209381 @default.
- W5120938 hasOpenAccess W5120938 @default.
- W5120938 hasPrimaryLocation W51209381 @default.
- W5120938 hasRelatedWork W1508811488 @default.
- W5120938 hasRelatedWork W15726297 @default.
- W5120938 hasRelatedWork W1596041124 @default.
- W5120938 hasRelatedWork W166796366 @default.
- W5120938 hasRelatedWork W2029107530 @default.
- W5120938 hasRelatedWork W2035745665 @default.
- W5120938 hasRelatedWork W2098675564 @default.
- W5120938 hasRelatedWork W2123894953 @default.
- W5120938 hasRelatedWork W2132428429 @default.
- W5120938 hasRelatedWork W2150954457 @default.
- W5120938 hasRelatedWork W2151196209 @default.
- W5120938 hasRelatedWork W2547977190 @default.
- W5120938 hasRelatedWork W2897115502 @default.
- W5120938 hasRelatedWork W2963086563 @default.
- W5120938 hasRelatedWork W2977699260 @default.
- W5120938 hasRelatedWork W2991018442 @default.
- W5120938 hasRelatedWork W2995150931 @default.
- W5120938 hasRelatedWork W985792593 @default.
- W5120938 hasRelatedWork W1969140772 @default.
- W5120938 hasRelatedWork W3123453551 @default.
- W5120938 isParatext "false" @default.
- W5120938 isRetracted "false" @default.
- W5120938 magId "5120938" @default.
- W5120938 workType "article" @default.