Qualitative Concurrent Parity Games: Bounded Rationality

DOI10.1007/978-3-662-44584-6_37zbMath1417.68122OpenAlexW1025150979MaRDI QIDQ3190142

Krishnendu Chatterjee

Publication date: 15 September 2014

Published in: CONCUR 2014 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44584-6_37

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) 2-person games (91A05) Games involving graphs (91A43) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Optimal strategies for selecting coordinators ⋮ CEGAR for compositional analysis of qualitative properties in Markov decision processes ⋮ Qualitative analysis of concurrent mean-payoff games

This page was built for publication: Qualitative Concurrent Parity Games: Bounded Rationality