Login / Signup
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity.
Wojciech Rozowski
Tobias Kappé
Dexter Kozen
Todd Schmid
Alexandra Silva
Published in:
CoRR (2023)
Keyphrases
</>
probabilistic databases
probabilistic model
data sets
machine learning
bayesian networks
computational complexity
evolutionary algorithm
uncertain data
real world
special case
worst case
data quality
context sensitive
space complexity