EconBiz - Find Economic Literature
    • Logout
    • Change account settings
  • A-Z
  • Beta
  • About EconBiz
  • News
  • Thesaurus (STW)
  • Academic Skills
  • Help
  •  My account 
    • Logout
    • Change account settings
  • Login
EconBiz - Find Economic Literature
Publications Events
Search options
Advanced Search history
My EconBiz
Favorites Loans Reservations Fines
    You are here:
  • Home
  • Search: subject:"automated verification"
Narrow search

Narrow search

Year of publication
Subject
All
automated verification 2 equilibria 2 game theory 2 mean-payoff games 2 multi-agent systems 2 multi-player games 2 temporal logic 2 Agent-based modeling 1 Agentenbasierte Modellierung 1 Game theory 1 Nash equilibrium 1 Nash-Gleichgewicht 1 Spieltheorie 1
more ... less ...
Online availability
All
Free 2 CC license 1
Type of publication
All
Article 2
Type of publication (narrower categories)
All
Article 1 Article in journal 1 Aufsatz in Zeitschrift 1
Language
All
English 2
Author
All
Gutierrez, Julian 2 Steeples, Thomas 2 Wooldridge, Michael J. 2
Published in...
All
Games 2
Source
All
ECONIS (ZBW) 1 EconStor 1
Showing 1 - 2 of 2
Cover Image
Mean-payoff games with ω-regular specifications
Gutierrez, Julian; Steeples, Thomas; Wooldridge, Michael J. - In: Games 13 (2022) 1, pp. 1-37
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 depends on the play generated. As with all...
Persistent link: https://www.econbiz.de/10013200175
Saved in:
Cover Image
Mean-payoff games with ω-regular specifications
Gutierrez, Julian; Steeples, Thomas; Wooldridge, Michael J. - In: Games 13 (2022) 1, pp. 1-37
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 depends on the play generated. As with all...
Persistent link: https://www.econbiz.de/10013172385
Saved in:
A service of the
zbw
  • Sitemap
  • Plain language
  • Accessibility
  • Contact us
  • Imprint
  • Privacy

Loading...