Mean-Payoff Games with ω-Regular Specifications
Sign Up to like & getrecommendations! Published in 2022 at "Games"
DOI: 10.5555/3463952.3464099
Abstract: Multi-player mean-payoff games are a natural formalism for modelling the behaviour of concurrent and multi-agent systems with self-interested players. Players in such a game traverse a graph, while attempting to maximise a (mean-)payoff function that… read more here.
Keywords: regular specifications; payoff games; multi; game ... See more keywords