Author:
Publication: Artificial Intelligence
Parameterised verification for multi-agent systems
Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction p