Tools and Algorithms for the Construction and Analysis of Systems
From MaRDI portal
Publication:5899063
DOI10.1007/11691372zbMath1180.68171MaRDI QIDQ5899063
Krishnendu Chatterjee, Thomas A. Henzinger
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11691372
91A43: Games involving graphs
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Unnamed Item, Unnamed Item, Recurrence and transience for finite probabilistic tables, Quantitatively fair scheduling, From liveness to promptness, On equilibria in quantitative games with reachability/safety objectives, Code aware resource management, Looking at mean-payoff and total-payoff through windows, Stochastic Games with Finitary Objectives, Optimal strategy synthesis for request-response games