25 citations · 27 across the 3 of their papers we have counts for
1 paper · 1 filter
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-…