The complexity of LTL rational synthesis (Q6492405)
From MaRDI portal
scientific article; zbMATH DE number 7838029
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The complexity of LTL rational synthesis |
scientific article; zbMATH DE number 7838029 |
Statements
The complexity of LTL rational synthesis (English)
0 references
25 April 2024
0 references
rational synthesis
0 references
complexity
0 references
tree automata
0 references
games
0 references
linear temporal logic
0 references
