A Spectrum of Approximate Probabilistic Bisimulations.

Timm Spork Christel Baier Joost-Pieter Katoen Jakob Piribauer Tim Quatmann

Published in: CONCUR (2024)

Keyphrases

uncertain data
databases
neural network
social networks
bayesian networks
probabilistic model
exact solution
probabilistic logic
exact and approximate
image processing
generative model
probability theory
power spectrum
probabilistic networks
probabilistic databases
probabilistic interpretation