X-by-Construction - Correctness Meets Probability.

Maurice H. ter Beek Loek Cleophas Axel Legay Ina Schaefer Bruce W. Watson

Published in: ISoLA (1) (2020)

Keyphrases

probability distribution
databases
database systems
conditional probabilities
automatic construction
machine learning
learning algorithm
image processing
case study
multi agent
special case
cross entropy
success probability