The last decades have seen a revolution in autonomous robotics. Deep learning
approaches and their hardware implementations have made it possible to endow robots …

This study proposes LiP-LLM: integrating linear programming and dependency graph with
large language models (LLMs) for multi-robot task planning. For multi-robots to efficiently …

Real world planning problems are often too complex to be effectively tackled by a single
unaided human. To alleviate this, some recent work has focused on developing a …

Many cyber-physical systems, such as trains, planes, and self-driving cars, are safetycritical
but difficult to reason about. Formal verification can provide strong safety guarantees, but …

This paper presents and gives an overview of the recently emerging field of Neuro-Symbolic
Robotics. With the advances in computational resources, robust neural architectures, and …