https://liner.com/review/model-checking-multiagent-systems-against-ldlk-specifications
Model Checking Multi-Agent Systems against LDLK Specifications [Quick Review]
Regarding this IJCAI 2017 paper, this review summarizes an extension of LDL with epistemic modalities and a scalable model checking algorithm.
model checkingmulti agentsystemsspecificationsquick