Search for persons
X
?
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems ,
5
Model Checking Multi-Agent Systems against LDLK Specificati..:
, In:
?
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems ,
8