Cooperative concurrent games
In rational verification, the aim is to verify which temporal logic properties will obtain in a multi-agent system, under the assumption that agents (“players”) in the system choose strategies for acting that form a game theoretic equilibrium. Preferences are typically defined by assuming that agent...
| Main Authors: | , , , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Elsevier
2022
|
Search Result 1
