The complexity of systems studied in distributed artificial intelligence (DAI), such as multi-agent systems, often makes it extremely difficult or even impossible to correctly and completely specify their behavioral repertoires and dynamics. There is broad agreement that such...