Formal Aspects of Agent-Based Metaheuristics

Abstract

As stated in the previous chapter, agent-based metaheuristics, such as EMAS and iEMAS have already proved to be good techniques for solving difficult search problems (see, e.g. [44–47, 92, 263] to point out a few). However, in order to make sure that such a complex tool may be useful, both formal analysis and experimental verification should be conducted.