Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
Sign Up to like & getrecommendations! Published in 2025 at "IEEE Transactions on Software Engineering"
DOI: 10.1109/tse.2025.3567423
Abstract: Bisimulation is crucial for verifying process equivalence in probabilistic systems. This paper presents a novel logical framework for analyzing bisimulation in probabilistic parameterized systems, namely, infinite families of finite-state probabilistic systems. Our framework is built… read more here.
Keywords: logic; anonymity uniformity; verification; bisimulation ... See more keywords