Concurrent Games with Tail Objectives

DOI10.1007/11874683_17MaRDI QIDQ3613342zbMATH OpenOpenAlexFDO

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

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)

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

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)