Sound approximate and asymptotic probabilistic bisimulations for PCTL.

Massimo Bartoletti Maurizio Murgia Roberto Zunino

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

decision making
probabilistic model
uncertain data
exact and approximate
neural network
database
real world
evolutionary algorithm
generative model
conditional probabilities
context sensitive
exact solution