On Equilibria in Quantitative Games with Reachability/Safety Objectives

Thomas Brihaye, Véronique Bruyère, Julie De Pril

In this paper, we study turn-based quantitative multiplayer non zero-sum games played on finite graphs with both reachability and safety objectives. In this framework a player with…