Algorithms for Game Metrics

DOI10.4230/LIPICS.FSTTCS.2008.1745MaRDI QIDQ3165951zbMATH OpenOpenAlexFDO

Authors Krishnendu Chatterjee, Luca De Alfaro, Rupak Majumdar, Vishwanath Raman

Publication date 19 October 2012

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

zbMATH Keywords

bisimulationconcurrent gameskernellinear programmingMarkov decision processesmetricssimulationtheory of reals

Mathematics Subject Classification ID

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

Recommendations

• Algorithms for game metrics
• scientific article; zbMATH DE number 5823948
• scientific article; zbMATH DE number 40992
• Game Quantification Patterns
• Computing Game Metrics on Markov Decision Processes
• Game Refinement Relations and Metrics
• A metric for positional games
• Algorithms, games, and the internet
• scientific article; zbMATH DE number 18885
• scientific article; zbMATH DE number 981676

Cited in

(4)

• Algorithms for game metrics
• Game Refinement Relations and Metrics
• The complexity of computing a bisimilarity pseudometric on probabilistic automata
• Computing probabilistic bisimilarity distances for probabilistic automata

This page was built for publication: Algorithms for Game Metrics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3165951)