In this paper we analyze compliance games, which are games induced by agent-labeled Kripke structures, goal formulas in the language of ctl and behavioral constraints. In compliance games, players are rewarded for achieving their goals while complying to social laws, and punished for non-compliance. Design of these games is an attempt at incentivizing agents to be compliant. We analyze the core and properties of compliance games, and study the connection between underlying logical framework and their properties.
CITATION STYLE
Kaźmierczak, P. (2015). Compliance games. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8953, pp. 210–218). Springer Verlag. https://doi.org/10.1007/978-3-319-17130-2_14
Mendeley helps you to discover research relevant for your work.