The complexity of admissibility in Omega-regular games (Q4635606)
From MaRDI portal
scientific article; zbMATH DE number 6863081
Language | Label | Description | Also known as |
---|---|---|---|
English | The complexity of admissibility in Omega-regular games |
scientific article; zbMATH DE number 6863081 |
Statements
The complexity of admissibility in Omega-regular games (English)
0 references
23 April 2018
0 references
LTL
0 references
Muller games
0 references
admissible strategies
0 references
safety
0 references
synthesis
0 references