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...
| প্রধান লেখক: | , , , |
|---|---|
| বিন্যাস: | Book section |
| ভাষা: | English |
| প্রকাশিত: |
Springer
2024
|