International Collaboration on Verification of Multi-Agent Systems

Multi-agent systems (MAS) are computerized systems that consist of intelligent and autonomous agents. These agents collaborate in order to achieve goals or to solve problems. Multi-agent systems play an important role in the context of the Industry 4.0. Dr Nils Timm is the local principal investigator of a bilateral research project on the verification of multi-agent systems. In collaboration with scientists from the Stockholm University Sweden, he is developing techniques for automatically proving the correctness of multi-agent systems in terms of goal achievability. These techniques allow to ensure the quality and reliability of multi-agent systems, and thus, contribute to the maturation of MAS technology for industry purposes.