Deciding probabilistic bisimilarity over infinite-state probabilistic systems.

Tomás Brázdil Antonín Kucera Oldrich Strazovský

Published in: Acta Informatica (2008)

Keyphrases

probabilistic model
probabilistic approaches
bayesian networks
distributed systems
probabilistic logic
uncertain data
data driven
multiscale
image processing
computational intelligence
database
expert systems
intelligent systems
computer systems
information theoretic
probabilistic networks
databases