conftrace_

buchi objective

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

concurrent game (1) lexicographic preference (1) finite-memory strategy (1) mean-payoff function (1) nash equilibrium (1) game theory (1)

Papers

Nash Equilibria in Concurrent Games with Lexicographic Preferences IJCAI 2017