Loading...
Please wait, while we are loading the content...
Similar Documents
Mean-Payoff Games with ω-Regular Specifications
| Content Provider | MDPI |
|---|---|
| Author | Gutierrez, Julian Steeples, Thomas Wooldridge, Michael |
| Copyright Year | 2022 |
| Description | Multi-player mean-payoff games are a natural formalism for modelling the behaviour of concurrent and multi-agent systems with self-interested players. Players in such a game traverse a graph, while attempting to maximise a (mean-)payoff function that depends on the play generated. As with all games, the equilibria that could arise may have undesirable properties. However, as system designers, we typically wish to ensure that equilibria in such systems correspond to desirable system behaviours, for example, satisfying certain safety or liveness properties. One natural way to do this would be to specify such desirable properties using temporal logic. Unfortunately, the use of temporal logic specifications causes game theoretic verification problems to have very high computational complexity. To address this issue, we consider |
| Starting Page | 19 |
| e-ISSN | 20734336 |
| DOI | 10.3390/g13010019 |
| Journal | Games |
| Issue Number | 1 |
| Volume Number | 13 |
| Language | English |
| Publisher | MDPI |
| Publisher Date | 2022-02-09 |
| Access Restriction | Open |
| Subject Keyword | Games Hardware and Architecturee Information Systems Multi-player Games Mean-payoff Games Automated Verification Temporal Logic Game Theory Equilibria Multi-agent Systems |
| Content Type | Text |
| Resource Type | Article |
