Formal Analysis of Trust Dynamics in Human and Software Agent Experiments