共 50 条
- [1] Computing Bisimilarity Metrics for Probabilistic Timed Automata [J]. INTEGRATED FORMAL METHODS, IFM 2019, 2019, 11918 : 303 - 321
- [3] On the Complexity of Computing Probabilistic Bisimilarity [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, 2012, 7213 : 437 - 451
- [4] Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2023, 2023, 13992 : 285 - 307
- [7] Computing with Probabilistic Cellular Automata [J]. ARTIFICIAL NEURAL NETWORKS - ICANN 2009, PT II, 2009, 5769 : 525 - +
- [8] Computing Probabilistic Queries in the Presence of Uncertainty via Probabilistic Automata [J]. ALGORITHMIC ASPECTS OF CLOUD COMPUTING, ALGOCLOUD 2017, 2018, 10739 : 106 - 120
- [9] On the computation of some standard distances between probabilistic automata [J]. IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2006, 4094 : 137 - 149
- [10] Probabilistic bisimilarity as testing equivalence [J]. INFORMATION AND COMPUTATION, 2017, 257 : 58 - 64