Alternating-time Temporal Logic (Q4736405)
Jump to navigation
Jump to search
Type of temporal logic
- ATL
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Alternating-time Temporal Logic |
Type of temporal logic |
|
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Alternating-time Temporal Logic |
Type of temporal logic |
|