Rational verification: game-theoretic verification of multi-agent systems
We provide a survey of the state of the art of rational verification: the problem of checking whether a given temporal logic formula ϕ is satisfied in some or all game-theoretic equilibria of a multi-agent system – that is, whether the system will exhibit the behavior ϕ represents under the assumpti...
| 主要な著者: | , , , , , , , , |
|---|---|
| フォーマット: | Journal article |
| 言語: | English |
| 出版事項: |
Springer
2021
|