Concurrent Games with Tail Objectives

DOI10.1007/11874683_17zbMATH Open1225.91008OpenAlexW1561509006MaRDI QIDQ3613342FDOQ3613342

Authors: Krishnendu Chatterjee 

Publication date: 12 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11874683_17

Recommendations

• Concurrent games with tail objectives
• Solving simple stochastic tail games
• Qualitative analysis of concurrent mean-payoff games
• Qualitative concurrent parity games
• Concurrent games with ordered objectives

Mathematics Subject Classification ID

Applications of game theory (91A80) Noncooperative games (91A10) Specification and verification (program logics, model checking, etc.) (68Q60) Stochastic games, stochastic differential games (91A15)

Cited In (3)

• Solving simple stochastic tail games
• Concurrent games with tail objectives
• Value Iteration

This page was built for publication: Concurrent Games with Tail Objectives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613342)