Finite-trace and generalized-reactivity specifications in temporal synthesis (Q6151754)
From MaRDI portal
scientific article; zbMATH DE number 7815087
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finite-trace and generalized-reactivity specifications in temporal synthesis |
scientific article; zbMATH DE number 7815087 |
Statements
Finite-trace and generalized-reactivity specifications in temporal synthesis (English)
0 references
11 March 2024
0 references
reactive synthesis
0 references
\(\mathrm{LTL}_f\)
0 references
GR(1)
0 references
games
0 references
