Algorithms for Game Metrics
From MaRDI portal
Publication:2786130
DOI10.2168/LMCS-6(3:13)2010zbMath1214.68245MaRDI QIDQ2786130
Luca de Alfaro, Krishnendu Chatterjee, Vishwanath Raman, Rupak Majumdar
Publication date: 21 September 2010
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
minimax theoremmetricsgame semanticsprobabilistic choice\( \omega \)-regular propertiesequivalence of statesquantitative \(\mu \)-calculusrefinement of states
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (4)
An Algorithm for Probabilistic Alternating Simulation ⋮ Unnamed Item ⋮ Dynamic Cheap Talk for Robust Adversarial Learning ⋮ Weighted modal transition systems
This page was built for publication: Algorithms for Game Metrics
