5 papers
strategic-reasoning
First-Order Game Logic and Modal Mu-Calculus
Three decades later, Parikh’s problem has been solved: This paper investigates first-order game logic and first-order Game logic is less expressive than the modal μ-calculus [2], modal μ-calculus, which extend their propositional modal because it embeds into the two-variable frag...
Responsibility in a Multi-Value Strategic Setting
. Responsibility is a key notion in multi-agent systems and in creating safe, reliable and ethical AI. In particular, the evaluation of choices based on responsibility is useful for making robustly good deci- sions in unpredictable domains. However, most previous work on respon-...
The Multi-Agent Off-Switch Game
the waiting agent off; if the agent isn’t turned off, it can proceed The off-switch game framework has been instrumental in under- to take the action. This elegant result suggests that uncertainty standing corrigibility — the property that AI agents should allow about human prefe...