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...
| Principais autores: | , , , |
|---|---|
| Formato: | Book section |
| Idioma: | English |
| Publicado em: |
Springer
2024
|