Model Checking Multi-Agent Systems against LDLK Specifications.

Jeremy Kong, Alessio Lomuscio

Browse the full IJCAI paper archive.