Ting Guo

Measuring Trust and Automatic Verification in Multi-Agent Systems

2021 · 2021 8th International Conference on Dependable Systems and Their Applications (DSA)

Due to the shortage of resources and services, agents are often in competition with each other. Excessive competition will lead to a social dilemma. Under the viewpoint of breaking social dilemma, we present a novel …