Characterization, verification and generation of strategies in games with resource constraints (Q2125548)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Characterization, verification and generation of strategies in games with resource constraints |
scientific article |
Statements
Characterization, verification and generation of strategies in games with resource constraints (English)
0 references
14 April 2022
0 references
interactive systems
0 references
automatic control
0 references
reliability verification
0 references
resources
0 references
temporal logic
0 references
0 references
