General Probability in Coq.

Avraham Shinnar Barry M. Trager

Published in: DSN Workshops (2022)

Keyphrases

special case
closely related
probability distribution
multi agent
trade off
data sets
machine learning
information retrieval
decision making
wide range
wireless sensor networks