Computing Game Metrics on Markov Decision Processes

DOI10.1007/978-3-642-31585-5_23zbMATH Open1369.68262OpenAlexW99783039MaRDI QIDQ3167014FDOQ3167014

Hongfei Fu

Publication date: 1 November 2012

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31585-5_23

Recommendations

• Markov decision processes and stochastic games with total effective payoff
• Recursive Markov decision processes and recursive stochastic games
• Automata, Languages and Programming
• scientific article; zbMATH DE number 440593
• scientific article
• Observation, measurement, and computation in finite games
• Computing Equilibria of Dynamic Games
• Computing equilibria in multi-player games
• scientific article; zbMATH DE number 1376821

zbMATH Keywords

Markov decision processesapproximate bisimulationgame metrics

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (15)

• Simulation Hemi-metrics between Infinite-State Stochastic Games
• Fixpoint Theory -- Upside Down
• Sound approximate and asymptotic probabilistic bisimulations for PCTL
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fixpoint theory -- upside down
• Polynomial-time algorithms for computing distances of fuzzy transition systems
• Algorithms for game metrics
• Computing branching distances with quantitative games
• Title not available (Why is that?)
• Game Refinement Relations and Metrics
• The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata
• Algorithms for Game Metrics
• Converging from branching to linear metrics on Markov chains
• Deciding probabilistic bisimilarity distance one for probabilistic automata

This page was built for publication: Computing Game Metrics on Markov Decision Processes

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