Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games

We study the existence of mixed-strategy equilibria in concurrent games played on graphs. While existence is guaranteed with safety objectives for each player, Nash equilibria need not exist when players are given arbitrary terminal-reward objectives, and their existence is undecidable with qualitat...

Full description

Bibliographic Details
Main Authors: Patricia Bouyer, Nicolas Markey, Daniel Stan
Format: Article
Language:English
Published: Open Publishing Association 2016-09-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1609.04089v1