Expectation vs. reality: towards verification of psychological games
Game theory provides an effective way to model strategic interactions among rational agents. In the context of formal verification, these ideas can be used to produce guarantees on the correctness of multi-agent systems, with a diverse range of applications from computer security to autonomous drivi...
| Asıl Yazarlar: | , , , |
|---|---|
| Materyal Türü: | Book section |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
Springer
2024
|