conftrace_

trust reasoning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

multi-agent system (1) branching time logic (1) trust modeling (1) distributed trust (1) model checking (1) temporal logic (1)

Papers

Formalizing Group and Propagated Trust in Multi-Agent Systems IJCAI 2020