Mean-payoff games with \(\omega\)-regular specifications (Q2669180)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mean-payoff games with \(\omega\)-regular specifications |
scientific article |
Statements
Mean-payoff games with \(\omega\)-regular specifications (English)
0 references
9 March 2022
0 references
multi-player games
0 references
mean-payoff games
0 references
automated verification
0 references
temporal logic
0 references
game theory
0 references
equilibria
0 references
multi-agent systems
0 references
0 references
