Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …

Autonomous robots facing a diversity of open environments and performing a variety of tasks
and interactions need explicit deliberation in order to fulfill their missions. Deliberation is …

Swarm Robotics (SR) is an extension of the study of Multi-Robot Systems that exploits
concepts of communication, coordination and collaboration among a large number of robots …

Programming the behavior of multi-robot systems is a challenging task which has a key role
in developing effective systems in many application domains. In this paper, we present Petri …

As autonomous robots continue to be deployed near people, robots need to be able to
explain their actions. In this article, we focus on organizing and representing complex tasks …

This paper proposes a methodology for modeling and controlling a flexible material
handling system (MHS), composed of multiple automated guided vehicles (AGVs), suitable …

Generating complex multi-turn goal-oriented dialogue agents is a difficult problem that has
seen a considerable focus from many leaders in the tech industry, including IBM, Google …

The long-term deployment of autonomous robots co-located with humans in real-world
scenarios remains a challenging problem. In this paper, we present the “Lindsey” tour guide …

This paper presents a control architecture for an autonomous underwater vehicle (AUV)
named the Component Oriented Layer-based Architecture for Autonomy (COLA2). The …

This paper introduces LLM-MARS, first technology that utilizes a Large Language Model
based Artificial Intelligence for Multi-Agent Robot Systems. LLM-MARS enables dynamic …