Techniques for Distributed Theory Synthesis in Multiagent Systems.

Maria Cruz Gaya, J. Ignacio Girldez

Browse the full DCAI paper archive.