Algorithms for Game Metrics

DOI10.4230/LIPIcs.FSTTCS.2008.1745zbMath1248.68349OpenAlexW2143727518MaRDI QIDQ3165951

Luca de Alfaro, Rupak Majumdar, Krishnendu Chatterjee, Vishwanath Raman

Publication date: 19 October 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_6143.html

zbMATH Keywords

linear programmingsimulationMarkov decision processeskernelbisimulationmetricsconcurrent gamestheory of reals

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Linear programming (90C05) Stochastic games, stochastic differential games (91A15) 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 (2)

Unnamed Item ⋮ The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata

This page was built for publication: Algorithms for Game Metrics