Publication:5111641

DOI10.4230/LIPIcs.CONCUR.2017.27zbMath1442.68152MaRDI QIDQ5111641

Franck Van Breugel, Qiyi Tang

Publication date: 27 May 2020

zbMATH Keywords

policy iteration; pseudometric; probabilistic bisimilarity; labelled Markov chain

Mathematics Subject Classification ID

60J22: Computational methods in Markov chains

68W40: Analysis of algorithms

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)