conftrace_

branching time logic

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

multi-agent system (1) trust reasoning (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