Abstrakt. Mycket av den senaste forskningen har fokuserat på tillämpningar av spel med vanliga mål i kontroll och verifiering av reaktiva system. Många av de spelbaserade modellerna är dock olämpliga för dessa program, eftersom de antar att varje spelare har fullständig information om systemets tillstånd (de är "perfect-information" spel). Detta beror på att en kontrollant i många situationer inte ser anläggningens privata tillstånd. Sådana scenarier är naturligt modellerade av "partial-information" spel. Å andra sidan är dessa spel svåråtkomliga, t.ex. delinformationsspel med enkla mål är 2EXPTIME-kompletterade. Vi studerar det mellanliggande fallet av "semiperfect-information" spel, där en spelare har fullständig kunskap om staten, medan den andra spelaren har endast partiell kunskap. Denna modell är lämplig i kontrollsituationer där en regulator måste hantera växters beteende som är så kontradiktoriskt som möjligt, dvs regulatorn har partiell information medan anläggningen har perfekt information. Som brukligt antar vi att regulatorn och anläggningen turas om att göra rörelser. Vi visar att dessa semiperfect-information tur-baserade spel är likvärdiga med perfekt information samtidiga spel, där de två spelarna väljer sina drag samtidigt och självständigt. Eftersom den perfekta informationen samtidiga spel är välförståeliga, vi får flera resultat av hur semiperfect-information tur-baserade spel skiljer sig från perfekt-information tur-baserade spel å ena sidan, och från partiell-information tur-baserade spel å andra sidan. I synnerhet, semiperfect-information tur-baserade spel kan dra nytta av randomiserade strategier medan den perfekta-informationsvarianten inte, och semiperfect information tur-baserade spel är i NP  på coNP för alla paritetsmål.
I REF studeras en klass av semiperfect-informationsspel, där en spelare har ofullständig information och den andra spelaren har perfekt information.
Semiperfect-Information games
{'venue': 'FSTTCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}