Iterated Boolean games for rational verification

Rational verification is the problem of understanding what temporal logic properties hold of a multi-agent system when agents are modelled as players in a game, each acting rationally in pursuit of personal preferences. More specifically, rational verification asks whether a given property, expresse...

Descrición completa

Detalles Bibliográficos
Main Authors: Gutierrez, J, Gao, T, Wooldridge, M
Formato: Conference item
Publicado: Association for Computing Machinery 2017