In this survey, we review the recent advances in control design methods for robotic multi-
agent systems (MAS), focusing on learning-based methods with safety considerations. We …

In this paper, we propose a computationally efficient symbolic controller synthesis technique
for multi-agent systems. The paper focuses on synthesizing distributed controllers enforcing …

We investigate the multirobot task planning problem for intricate tasks specified by linear
temporal logic (LTL) formulae. While most studies on this topic assume flawless robot …

In this study, we address the multi-robot path planning problem for tasks specified by linear
temporal logic (LTL) formulae. Unlike existing studies, we take into account the possibility of …

This paper presents a step towards a formal controller design method for autonomous
agents based on knowledge awareness to improve decision-making. Our approach is to first …

Because of the scalability issues associated with the symbolic controller synthesis approach,
employing it in a multi-agent system (MAS) framework becomes difficult. In this paper, we …

In cyber-physical systems research an important challenge is the synthesis of reliable
controllers with respect to a general temporal specification. The synthesized controller must …

Optimal control plays a significant role in many disciplines, including robotics, systems
biology, chemical engineering, and other fields. The core question of this topic is how to …