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...

Olles dieđut

Bibliográfalaš dieđut
Váldodahkkit: Gutierrez, J, Perelli, G, Wooldridge, M
Materiálatiipa: Conference item
Almmustuhtton: Association for Computing Machinery 2017