I ett tidigare verk [Abdulla et al. (2000, Information and Computation, 160, 109-127) Vi lade fram en allmän ram för verifiering av gränslösa övergångssystem, där övergångsförhållandet är monotont med avseende på en väl kvasiordning på uppsättningen stater. I den här artikeln undersöker vi att utvidga ramen från sammanhang av övergångssystem till spel med oändliga tillstånd utrymmen. Vi visar att monotona spel med säkra vinnande villkor i allmänhet är obeslutbara. I synnerhet visar vi detta negativa resultat för spel som definieras över Petri nät. Vi identifierar en subklass av monotona spel, som kallas nedåt slutna spel. Vi tillhandahåller algoritmer för att analysera nedstängda spel under säkra vinstvillkor. Vi tillämpar algoritmen på spel som spelas på förlustkanalsystem. Slutligen visar vi att svaga paritetsspel är obeslutbara för ovan nämnda klasser av spel.
En allmän ram för spel över oändliga-state system med en väl-quasi beställning införs i REF och begränsningen av nedstängning införs för att få decidability.
Monotonic and downward closed games
{'venue': 'Journal of Logic and Computation', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}