Concurrent Games with Tail Objectives

DOI10.1007/11874683_17zbMath1225.91008OpenAlexW1561509006MaRDI QIDQ3613342

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

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

Related Items (1)

Value Iteration

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