Computing Behavioral Distances, Compositionally-Reference-Cited by-同舟云学术

Computing Behavioral Distances, Compositionally

Published:2013 Issue: Volume: Page:74-85
ISSN:0302-9743
Container-title:Mathematical Foundations of Computer Science 2013
language:
Short-container-title:

Author:

Bacci Giorgio,Bacci Giovanni,Larsen Kim G.,Mardare Radu

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-40313-2_9

Reference17 articles.

1. Lecture Notes in Computer Science;G. Bacci,2013

2. Castro, P.S., Precup, D.: Using bisimulation for policy transfer in MDPs. In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010, Richland, SC, vol. 1, pp. 1399–1400. International Foundation for Autonomous Agents and Multiagent Systems (2010)

3. Lecture Notes in Computer Science;P.S. Castro,2012

4. Chatterjee, K., de Alfaro, L., Majumdar, R., Raman, V.: Algorithms for Game Metrics. Logical Methods in Computer Science 6(3) (2010)

5. Lecture Notes in Computer Science;D. Chen,2012

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

1. Back to the format: A survey on SOS for probabilistic processes;Journal of Logical and Algebraic Methods in Programming;2024-02

2. Model-based trajectory stitching for improved behavioural cloning and its applications;Machine Learning;2023-09-27

3. Up-to techniques for behavioural metrics via fibrations;Mathematical Structures in Computer Science;2023-04

4. Convex Lattice Equation Systems;Lecture Notes in Computer Science;2022

5. L∗-based learning of Markov decision processes (extended version);Formal Aspects of Computing;2021-08