Bisimulation for Markov Decision Processes through Families of Functional Expressions-Reference-Cited by-同舟云学术

Bisimulation for Markov Decision Processes through Families of Functional Expressions

Published:2014 Issue: Volume: Page:319-342
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Ferns Norm,Precup Doina,Knight Sophia

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-06880-0_17

Reference35 articles.

1. Desharnais, J., Jagadeesan, R., Gupta, V., Panangaden, P.: The Metric Analogue of Weak Bisimulation for Probabilistic Processes. In: LICS 2002: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science, July 22-25, pp. 413–422. IEEE Computer Society, Washington, DC (2002)

2. Lecture Notes in Computer Science;F. Breugel van,2001

3. Lecture Notes in Computer Science;F. Breugel van,2001

4. Ferns, N., Panangaden, P., Precup, D.: Bisimulation Metrics for Continuous Markov Decision Processes. SIAM Journal on Computing 40(6), 1662–1714 (2011)

5. Müller, A.: Integral Probability Metrics and Their Generating Classes of Functions. Advances in Applied Probability 29, 429–443 (1997)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Behavioural Pseudometrics for Nondeterministic Probabilistic Systems;Scientific Annals of Computer Science;2022-12-07

2. Converging from branching to linear metrics on Markov chains;Mathematical Structures in Computer Science;2017-07-25

3. Behavioural Pseudometrics for Nondeterministic Probabilistic Systems;Dependable Software Engineering: Theories, Tools, and Applications;2016

4. Converging from Branching to Linear Metrics on Markov Chains;Theoretical Aspects of Computing - ICTAC 2015;2015