A fixed-points based framework for compliance of behavioural contracts.

Maurizio Murgia

Published in: J. Log. Algebraic Methods Program. (2021)

Keyphrases

fixed point
probabilistic model
dynamical systems
belief propagation
asymptotic properties
neural network
higher order
free energy
approximate value iteration