Funding Spotlight


In the period (2021-2025), Dr. Yehia Abd Alrahman has received funding for two prestigious research grants from the Swedish Research Council, with 8.1 million SEK (approx. 850,000 USD) total budget. The purpose of the research grants is to lay the foundational basis of correct-by-design techniques for Multi-Agent-Systems.

The Swedish Research Council is Sweden’s largest governmental research funding body and supports research of the highest quality in all scientific fields.

S²MAS: Synthesis of Spatial Multi-Agent Systems (2026-2030)

S²MAS is a Research Project Grant from the Swedish Resarch Council. Research Project Grants are very competitive with 18% success rate for Year 2025. The aim of the grant is to give senior researchers the freedom to formulate their own the research concept, method and implementation, and to solve a specific research task within a limited period. The grant is awarded for the project "S²MAS: Synthesis of Spatial Multi-Agent Systems". The purpose of S²MAS is to provide a novel eco-system of methods that efficiently support the development of correct-by-design spatial multi-agent systems. The emphasis is on designing distributed autonomous machines that populate a shared physical space and can influence each other by merely moving/modifying the space. Such machines are expected to operate while co-existing with other machines and/or humans. Thus, there is a pressing demand to make them safe, reliable and robust to sudden changes. The challenge is how to efficiently incorporate a continuous domain (i.e., movement in physical space) into a discrete distributed algorithm (i.e., the synthesis algorithm). A considerable part of my future plans is directly focused on appropriate methods and techniques to tackle this challenge.


Grant agreement ID: 2025-05071

Overall budget: SEK 4,100,000

Duration: 2026-2030


SynTM: Synthesis of Teamwork Multi-Agent Systems (2021-2025)

SynTM is a Starting Grant from the Swedish Resarch Council. VR Starting Grants are very competitive with 14% success rate for Year 2020. The aim of the grant is to give junior researchers the opportunity to establish themselves as independent researchers in Sweden. The grant is awarded for the project "SynTM: Synthesis of Teamwork Multi-Agent Systems". The purpose of SYNTM is to develop a foundational framework that will enable the automatic production of correct Teamwork MAS from high-level descriptions of desired behaviour. The findings of SYNTM will comprise a significant development of current theories, that are still unable to handle this class of systems.


Grant agreement ID: 2020-03401

Overall budget: SEK 4,000,000

Duration: 2021-2025

Open Positions

I am hiring a Phd student on the S²MAS grant to work on synthesis of spatial multi-agent systems Apply Here (deadline 29 January 2026)

Research Theme

The purpose of my research is to provide formally verified solutions that enable the automatic production of “correct-by-design” collaborative Multi-robot systems (or generally Teamwork Multi-Agent Systems) from high-level descriptions of desired behaviour. The term Teamwork synthesis is concerned of designing computational systems, consisting of a set of collaborative intelligent agents that interact in a functional way and behave as if they were a single capable agent, pursing a set of sophisticated goals. Teamwork is not only interesting because of workload sharing, but also because the capabilities of a team exceed the ones of an individual. This has a potential to solve complex problems by breaking them down on simple collaborative agents. My research provides support to the strategic area of autonomous systems and the thematic area of control and decision making. These areas are of interest for at least two research groups within CSE, namely Formal Methods and Concurrency and Control. Moreover, there is a rising interest in combining AI with verification techniques, termed as Symbolic AI. Developing correct-by-design Teamwork MAS requires substantial efforts, and is a long-term research plan. Such research requires unique competences in Concurrency, Multi-Agent theories, and Control Synthesis.

News

    The Principal investigator

    Dr. Abd Alrahman is the Principal Investigator of two research projects at the University of Gothenburg. He investigates a practical reformulation of the distributed synthesis problem , named Teamwork Synthesis. It differs from the current one (Initially introduced by Pnueli and Rosner in 1990) in that it is solvable, i.e., it bypasses the undecidability result of the original one by eliminating the need to fix the interaction architecture among agents. An algorithm will suggest the required interactions to enable distributed realizability. This is in line with the mobility of teamwork MAS where fixing interactions among agents is not feasible. Thus, He aims to generally unlock the automatic production of correct-by-design collaborative multi-robot systems for the first time. More Specifically, his research focuses on the following objectives:
    • Consider a refined representation of the Environment to refer both to the execution context and to the interactions within the team. Thus, the environment is not merely an external entity, but rather is intertwined with the anatomy of the team;
    • to develop a novel specification temporal logic that generalizes the notion of Reactivity to require reacting to both inputs induced by the context and the interaction ;
    • Study compositional analysis of multiplayer games by a reduction to two-player partial information ones.

    Current Phd students

    Current Postdoc and Research Assistants

    Current collaborators

    Former collaborators

    The PI is actively collaborating with a number of researchers around the world on topics related to the above mentioned research projects.

    Publications