Iterated games with LDL goals
Linear Dynamic Logic on finite traces (LDLF ) is a powerful logic for reasoning about the behaviour of concurrent and multi-agent systems. In this paper, we investigate techniques for both the characterisation and verification of equilibria in multi-player games with goals/objectives expressed using...
Հիմնական հեղինակներ: | , , |
---|---|
Ձևաչափ: | Conference item |
Հրապարակվել է: |
Association for Computing Machinery
2017
|