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

linear programmingsimulationkernelconcurrent gamesMarkov decision processesbisimulationmetricstheory of reals

Mathematics Subject Classification ID

Linear programming (90C05) Analysis of algorithms and problem complexity (68Q25) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Stochastic games, stochastic differential games (91A15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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)

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

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)