On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context-Reference-Cited by-同舟云学术

On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context

Published:2017 Issue: Volume: Page:321-337
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bian Gaoang,Abate Alessandro

Publisher

Springer Berlin Heidelberg

Link

https://link.springer.com/content/pdf/10.1007/978-3-662-54458-7_19

Reference26 articles.

1. Abate, A.: Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey. Electron. Notes Theor. Comput. Sci. 297, 3–25 (2013)

2. Abate, A., Katoen, J.P., Lygeros, J., Prandini, M.: Approximate model checking of stochastic hybrid systems. Eur. J. Control 16(6), 624–641 (2010)

3. Lecture Notes in Computer Science;A Abate,2014

4. Bian, G., Abate, A.: On the relationship between bisimulation and trace equivalence in an approximate probabilistic context (extended version) (2017). http://arxiv.org/abs/1701.04547

5. Bollobás, B., Varopoulos, N.: Representation of systems of measurable sets. Math. Proc. Cambridge Philos. Soc. 78(02), 323–325 (1975)

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

1. Railway Cloud: Management and Orchestration Functionality Designed as Microservices;Applied Sciences;2024-03-11

2. Sound approximate and asymptotic probabilistic bisimulations for PCTL;Logical Methods in Computer Science;2023-03-31

3. Automated verification and synthesis of stochastic hybrid systems: A survey;Automatica;2022-12

4. Deploying Reinforcement Learning for Efficient Runtime Decision-Making in Autonomous Systems;2022 CPSSI 4th International Symposium on Real-Time and Embedded Systems and Technologies (RTEST);2022-05-30

5. A Sound Up-to-$$n,\delta $$ Bisimilarity for PCTL;Lecture Notes in Computer Science;2022