25 citations · 25 across the 1 of their papers we have counts for
1 paper
Leifeng He, Guanjun Liu
Computation Tree Logic of Knowledge (CTLK) can specify many design requirements of privacy and security of multi-agent systems (MAS). In our conference paper, we defined Knowledge-…