The insufficiency of formal design methods - the necessity of an experimental approach for the understanding and control of complex MAS | IEEE Conference Publication | IEEE Xplore