English
Related papers

Related papers: Policy-Guided Lazy Search with Feedback for Task a…

200 papers

Routing problems are canonical combinatorial optimization tasks with wide-ranging applications in logistics, transportation, and supply chain management. However, solving these problems becomes significantly more challenging when complex…

Optimization and Control · Mathematics 2026-04-06 Tianyou Li , Haijun Zou , Jiayuan Wu , Zaiwen Wen

In robotic task planning, symbolic planners using rule-based representations like PDDL are effective but struggle with long-sequential tasks in complicated environments due to exponentially increasing search space. Meanwhile, LLM-based…

Robotics · Computer Science 2025-04-01 Minseo Kwon , Yaesol Kim , Young J. Kim

The paper introduces an asymptotically optimal lifelong sampling-based path planning algorithm that combines the merits of lifelong planning algorithms and lazy search algorithms for rapid replanning in dynamic environments where edge…

Robotics · Computer Science 2025-07-23 Lu Huang , Jingwen Yu , Jiankun Wang , Xingjian Jing

Performing complex manipulation tasks in dynamic environments requires efficient Task and Motion Planning (TAMP) approaches that combine high-level symbolic plans with low-level motion control. Advances in Large Language Models (LLMs), such…

Robotics · Computer Science 2025-10-02 Muhayy Ud Din , Jan Rosell , Waseem Akram , Isiah Zaplana , Maximo A Roa , Irfan Hussain

Mobile robots are often tasked with repeatedly navigating through an environment whose traversability changes over time. These changes may exhibit some hidden structure, which can be learned. Many studies consider reactive algorithms for…

Robotics · Computer Science 2020-12-07 Florence Tsang , Tristan Walker , Ryan A. MacDonald , Armin Sadeghi , Stephen L. Smith

We present a task-and-motion planning (TAMP) algorithm robust against a human operator's cooperative or adversarial interventions. Interventions often invalidate the current plan and require replanning on the fly. Replanning can be…

Robotics · Computer Science 2021-03-29 Shen Li , Daehyung Park , Yoonchang Sung , Julie A. Shah , Nicholas Roy

This study proposes a Task and Motion Planning (TAMP) method with symbolic decisions embedded in a bilevel optimization. This TAMP method exploits the discrete structure of sequential manipulation for long-horizon and versatile tasks in…

Robotics · Computer Science 2020-10-27 Zhigen Zhao , Ziyi Zhou , Michael Park , Ye Zhao

In an environment where a manipulator needs to execute multiple consecutive tasks, the act of object manoeuvre will change the underlying configuration space, affecting all subsequent tasks. Previously free configurations might now be…

Robotics · Computer Science 2022-09-07 Tin Lai , Fabio Ramos

The problem of checking a logged event trace against a temporal logic specification arises in many practical cases. Unfortunately, known algorithms for an expressive logic like MTL (Metric Temporal Logic) do not scale with respect to two…

Software Engineering · Computer Science 2015-08-27 Marcello M. Bersani , Domenico Bianculli , Carlo Ghezzi , Srdan Krstic , Pierluigi San Pietro

Task and motion planning is one of the key problems in robotics today. It is often formulated as a discrete task allocation problem combined with continuous motion planning. Many existing approaches to TAMP involve explicit descriptions of…

Robotics · Computer Science 2023-09-28 Jimmy Envall , Roi Poranne , Stelian Coros

Task and motion planning (TAMP) for multi-robot systems, which integrates discrete task planning with continuous motion planning, remains a challenging problem in robotics. Existing TAMP approaches often struggle to scale effectively for…

Robotics · Computer Science 2025-04-30 Zhongqi Wei , Xusheng Luo , Changliu Liu

Heuristic search solvers like RTDP-Bel and LAO* have proven effective for computing optimal and bounded sub-optimal solutions for Partially Observable Markov Decision Processes (POMDPs), which are typically formulated as belief MDPs. A…

Robotics · Computer Science 2025-06-03 Muhammad Suhail Saleem , Rishi Veerapaneni , Maxim Likhachev

The challenge in combined task and motion planning (TAMP) is the effective integration of a search over a combinatorial space, usually carried out by a task planner, and a search over a continuous configuration space, carried out by a…

Robotics · Computer Science 2024-03-26 Magí Dalmau-Moreno , Néstor García , Vicenç Gómez , Héctor Geffner

Robotic planning problems in hybrid state and action spaces can be solved by integrated task and motion planners (TAMP) that handle the complex interaction between motion-level decisions and task-level plan feasibility. TAMP approaches rely…

Robotics · Computer Science 2021-07-19 Tom Silver , Rohan Chitnis , Joshua Tenenbaum , Leslie Pack Kaelbling , Tomas Lozano-Perez

Task And Motion Planning (TAMP) is the problem of finding a solution to an automated planning problem that includes discrete actions executable by low-level continuous motions. This field is gaining increasing interest within the robotics…

Robotics · Computer Science 2024-08-13 Elisa Tosello , Alessandro Valentini , Andrea Micheli

The Partially Observable Markov Decision Process (POMDP) provides a principled framework for decision making in stochastic partially observable environments. However, computing good solutions for problems with continuous action spaces…

Artificial Intelligence · Computer Science 2023-12-19 Marcus Hoerger , Hanna Kurniawati , Dirk Kroese , Nan Ye

In this paper, we present an approach for integrated task and motion planning based on an AND/OR graph network, which is used to represent task-level states and actions, and we leverage it to implement different classes of task and motion…

Robotics · Computer Science 2025-03-12 Hossein Karami , Antony Thomas , Fulvio Mastrogiovanni

Motion planning of autonomous agents in partially known environments with incomplete information is a challenging problem, particularly for complex tasks. This paper proposes a model-free reinforcement learning approach to address this…

Artificial Intelligence · Computer Science 2023-05-02 Junchao Li , Mingyu Cai , Zhen Kan , Shaoping Xiao

Recently, the iterative approach named linear tabling has received considerable attention because of its simplicity, ease of implementation, and good space efficiency. Linear tabling is a framework from which different methods can be…

Programming Languages · Computer Science 2007-05-25 Neng-Fa Zhou , Taisuke Sato , Yi-Dong Shen

As network traffic monitoring software for cybersecurity, malware detection, and other critical tasks becomes increasingly automated, the rate of alerts and supporting data gathered, as well as the complexity of the underlying model,…

Artificial Intelligence · Computer Science 2013-05-14 Kartik Talamadupula , Octavian Udrea , Anton Riabov , Anand Ranganathan