Embodied Artificial Intelligence (Embodied AI) is crucial for achieving Artificial General
Intelligence (AGI) and serves as a foundation for various applications that bridge cyberspace …

In recent years, formal methods have been extensively used in the design of autonomous
systems. By employing mathematically rigorous techniques, formal methods can provide …

Some quadruped robots developed recently show better dynamic performance and
environmental adaptability than ever, and have been preliminarily applied in the field of …

Indoor service robots have been widely introduced in the fields of cleaning, delivery,
education, guidance, and healthcare, etc. in indoor environments. The mobility of an indoor …

The theoretical ability of modular robots to reconfigure in response to complex tasks in a
priori unknown environments has frequently been cited as an advantage and remains a …

Legged robots can have a unique role in manipulating objects in dynamic, human-centric, or
otherwise inaccessible environments. Although most legged robotics research to date …

We introduce Spectra, a new specification language for reactive systems, specifically
tailored for the context of reactive synthesis. The meaning of Spectra is defined by a …

In this paper, we propose a formal language to specify robot skills, ie the elementary
behaviours or functions provided by the robot platform in order to perform an autonomous …

This paper describes the Flexible Navigation system that extends the ROS Navigation stack
and compatible libraries to separate computation from decision making, and integrates the …

Contact-based decision and planning methods are becoming increasingly important to
endow higher levels of autonomy for legged robots. Formal synthesis methods derived from …