Planning for hybrid systems via satisfiability modulo theories

M Cashmore, D Magazzeni, P Zehtabi - Journal of Artificial Intelligence …, 2020 - jair.org
Planning for hybrid systems is important for dealing with real-world applications, and PDDL+
supports this representation of domains with mixed discrete and continuous dynamics. In …

Plan commitment: Replanning versus plan repair

M Babli, Ó Sapena, E Onaindia - Engineering Applications of Artificial …, 2023 - Elsevier
While executing its plan in a dynamic environment where multiple agents are operating, an
autonomous agent may suffer a failure due to discrepancies between the expected and …

Modelling automated planning problems for teams of mobile manipulators in a generic industrial scenario

SO Bezrucav, B Corves - Applied Sciences, 2022 - mdpi.com
Flexible control strategies are required in industrial scenarios to coordinate the actions of
mobile manipulators (eg, robots and humans). Temporal planning approaches can be used …

Temporal planning with intermediate conditions and effects

A Valentini, A Micheli, A Cimatti - Proceedings of the AAAI Conference on …, 2020 - aaai.org
Automated temporal planning is the technology of choice when controlling systems that can
execute more actions in parallel and when temporal constraints, such as deadlines, are …

A lazy approach to neural numerical planning with control parameters

R Heesch, A Cimatti, J Ehrhardt, A Diedrich… - ECAI 2024, 2024 - ebooks.iospress.nl
In this paper, we tackle the problem of planning in complex numerical domains, where
actions are indexed by control parameters, and their effects may be described by neural …

A hybrid approach for expressive numeric and temporal planning with control parameters

O Sapena, E Onaindia, E Marzal - Expert Systems with Applications, 2024 - Elsevier
Since the release of PDDL 2.1, many planners accepted the challenge of addressing more
complicated domains and problems, including both temporal and numeric features for …

Multi-Agent Temporal Task Solving and Plan Optimization

JC Testón, MD R-Moreno - Proceedings of the International Conference …, 2024 - ojs.aaai.org
Several multi-agent techniques are utilized to reduce the complexity of classical planning
tasks, however, their applicability to temporal planning domains is a currently open line of …

[HTML][HTML] 时态规划综述及研究现状

饶东宁, 杨锦鹏, 刘越畅 - 广东工业大学学报, 2021 - xml-data.org
作为人工智能领域的一个重要分支, 智能规划被广泛应用于机器人, 工业生产, 商业应用等领域.
时态规划是智能规划的前沿子领域. 本文从时态特征, 规划方法, 应用等三个角度出发 …

[PDF][PDF] Recursive Agents and Landmarks Strategic-Tactical Planning (RALSTP)

D Buksz - 2024 - kclpure.kcl.ac.uk
The use of AI planning beyond demonstration examples has proven to be challenging for
expressive problems with numerous components. This happens primarily because the state …

[PDF][PDF] Case Study: AI task planning setup for an industrial scenario with mobile manipulators

SO Bezrucav, M Kaiser, B Corves - Proceedings of the Scheduling …, 2021 - researchgate.net
AI task planning approaches are increasingly used in projects with flexible processes, where
it must be autonomously deliberated about the selection and scheduling of the actions for …