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