An integral computed with respect to a random process, here used to define the attention output distribution.