Grunnleggende konsepter
非決定的確率システム間の振る舞い同値性を分析し、発散に焦点を当てる。
Sammendrag
この論文は、非決定的確率システム間の振る舞い同値性に関する包括的な比較研究を提供しています。分岐と弱い確率的ビシミュレーションにおける発散に敏感な行動同値関係が紹介され、これらの同値関係が効率的なチェックアルゴリズムを持つことが示されています。さらに、本論文では独立した興味深い技術も提示されています。
Statistikk
本論文はarXiv:2403.00491v1で公開されました。
分岐と弱い確率的ビシミュレーションにおける発散に関する包括的な比較研究が行われています。
Zhang et al. [36]は確率的分岐ビシミュレーションをチェックするための多項式アルゴリズムを導入しています。
Turrini and Hermanns [29]はPAモデル用の弱い確率ビシミュレーションを判断するための巧妙な多項式時間アルゴリズムを提供しています。
Sitater
"Branching bisimilarity for RCCSfs model was proposed by Fu [18]."
"Recently a model-independent approach for studying branching bisimilarity of probabilistic systems has been proposed in [18]."
"The techniques developed in this subsection should be helpful in establishing the relationship among them and the branching (weak) bisimilarities defined in this paper."