We present a framework for mobile service robot task planning and execution, based on the
use of probabilistic verification techniques for the generation of optimal policies with …

This paper discusses the issue of efficient resolution of timeline-based planning problems. In
particular, taking inspiration from the more classical heuristics for the resolution of STRIPS …

In temporal planning, chronicles can be used to represent the predictive model of durative
actions. Unlike the classical state-oriented representation, the usage of chronicles allows a …

Knowledge can enhance the intelligence of robots' high-level decision-making. However,
there is no specific domain knowledge base for robot task planning in this field. Aiming to …

As more robots and sensors are deployed in work and home environments, there is a
growing need for these devices to act with some degree of autonomy to fulfill their purpose …

The increasing deployment, in real environments, of intelligent and distributed systems like
robotic platforms, wearable sensors and AI-based devices, requires robust solutions that …

The quest of AI and Robotics researchers to realize fully AI-driven integrated robotic systems
has not yet led to such realizations, in spite of great attainments in both research areas. This …

In this paper we introduce a spatio-temporal planning and scheduling approach for
collaborative multi-robot systems. In particular, we are targeting an application to physically …

Autonomous driving is an interesting but challenging field. To make it accessible to college
students, several universities worldwide joined to create an F1/10 Autonomous Racing …

随着空间探索的不断深入, 人类从认识空间环境逐渐转向开发和利用空间资源,
空间机械臂因其运动范围广, 操作能力**等特点被广泛应用于空间探索活动 …