Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/11691372zbMath1180.68171OpenAlexW2739785336MaRDI 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

Mathematics Subject Classification ID

Games involving graphs (91A43) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (10)

Stochastic Games with Finitary Objectives ⋮ Optimal strategy synthesis for request-response games ⋮ Unnamed Item ⋮ On equilibria in quantitative games with reachability/safety objectives ⋮ Recurrence and transience for finite probabilistic tables ⋮ Code aware resource management ⋮ Unnamed Item ⋮ Quantitatively fair scheduling ⋮ From liveness to promptness ⋮ Looking at mean-payoff and total-payoff through windows

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems