Rational verification: from model checking to equilibrium checking
Rational verification is concerned with establishing whether a given temporal logic formula ϕ is satisfied in some or all equilibrium computations of a multi-agent system – that is, whether the system will exhibit the behaviour ϕ under the assumption that agents within the system act rationally in p...
| मुख्य लेखकों: | , , , , , |
|---|---|
| स्वरूप: | Conference item |
| प्रकाशित: |
Association for the Advancement of Artificial Intelligence
2016
|