Ricerc@Sapienza

Advancements in self-driving vehicles, smart factories, multi-robot systems in logistics, distributed computing, financial technology, and many other fields are rapidly expanding and deep impacting individuals and society. Autonomous and Multi-Agent Systems (MAS) are a well-established research area concerned with modeling and reasoning on these kinds of systems.

When MAS models are employed in safety-critical contexts such as healthcare, computer security, and advanced manufacturing, their correct behavior is a strictly fundamental requirement, as the fault of an even single component might irreparably compromise integrity and security. Nevertheless, the current designing and adjustment techniques are still sub-optimal as for their efficiency and quality. This is due to the fact that they are still manually dealt case-by-case and not yet fully understood and systematized.

BeGood aims at developing the theory and the computational tools for the automated production of the just rules that will guide designers of MAS to a correct specification and behavior of their systems. Remarkable discoveries by the applicant in the context of Rational Synthesis and Strategic Reasoning, and their connection with Verification and Synthesis in Formal Methods, uncovered a novel scientific direction and a potential breakthrough in the automated production of rule-making mechanisms. This will bring the theory and practice in multi-agent systems to the next level, thus impacting the cutting-edge technology based on these powerful models.

The outcome of the project will realize self-governing mechanisms for the correct design and
implementation of behavioral rules in Multi-Agent Systems. This will impact the practice in
designing networks and intelligent systems in several contiguous research areas such as: planning,
robotics, and process management.