Algorithms for Omega-Regular Games with Imperfect Information (Q5426070)
From MaRDI portal
scientific article; zbMATH DE number 5212253
Language | Label | Description | Also known as |
---|---|---|---|
English | Algorithms for Omega-Regular Games with Imperfect Information |
scientific article; zbMATH DE number 5212253 |
Statements
Algorithms for Omega-Regular Games with Imperfect Information (English)
0 references
15 November 2007
0 references
two-player turn-based games on graphs
0 references
fixed-point algorithm
0 references
deterministic observation-based strategy
0 references
omega-regular objective
0 references
Büchi objective
0 references