A Spectrum of Approximate Probabilistic Bisimulations.

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

Published in: CoRR (2024)

Keyphrases

generative model
probabilistic model
exact and approximate
probabilistic interpretation
real time
probabilistic approaches
neural network
machine learning
social networks
computer vision
bayesian networks
expert systems
data driven
context sensitive
uncertain data
probabilistic networks