Trust Modelling and Verification Using Event-B

Asieh Salehi Fathabadi, Vahid Yazdanpanah

Trust is a crucial component in collaborative multiagent systems (MAS) involving humans and autonomous AI agents. Rather than assuming trust based on past system behaviours, it is…