Graded Alternating-Time Temporal Logic (Q5894019)
From MaRDI portal
scientific article; zbMATH DE number 5834040
Language | Label | Description | Also known as |
---|---|---|---|
English | Graded Alternating-Time Temporal Logic |
scientific article; zbMATH DE number 5834040 |
Statements
Graded Alternating-Time Temporal Logic (English)
0 references
7 January 2011
0 references