Vi anser paritetsspel spelas på särskilda pushdown grafer, nämligen de som genereras av en-counter processer. För paritetsspel på pushdown grafer, är det känt från [22] att avgöra vinnaren är ett ExpTime-komplett problem. En viktig följd av detta resultat är att μ-calculus modell kontroll problem för pushdown processer är Exp-Time-komplett. Eftersom one-counter processer är speciella fall av pushdown processer, det följer att avgöra vinnaren i ett paritetsspel spelas på övergångskurvan för en en-counter process kan uppnås i Ex-pTime. Beviset för att ExpTime-hardness är lägre än [22] kan dock inte anpassas till detta fall. Därför är en naturlig fråga om ExpTime övre gräns kan förbättras i detta speciella fall. I detta dokument anpassar vi tekniker från [11, 4] och ger en PSpace övre gräns och en DP-hård nedre gräns för detta problem. Vi ger också två viktiga konsekvenser av detta resultat. För det första förbättrar vi den bästa övre gränsen känd för modellkontroll en-counter processer mot μ-kalculus. För det andra visar vi hur dessa spel kan användas för att lösa pushdown spel med vinnande villkor som är booleska kombinationer av en paritet villkor på kontrolltillstånd med villkor på stacken höjd. med beaktande av Fördraget om upprättandet av Euro peiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, med beaktande av Fördraget om upprättandet av Europeiska unionen, med beaktande av Fördraget om upprättandet av Europeiska gemenskapen, särskilt artikel 5 i detta,
I REF visades det att det är i PSpace att bestämma vinnaren i one-counter paritetsspel.
Parity games played on transition graphs of one-counter processes
{'venue': 'FoSSaCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}