Formal Analysis of Models for the Dynamics of Trust Based on Experiences · Study