Automated planning for robotics
E Karpas, D Magazzeni�- Annual Review of Control, Robotics�…, 2020 - annualreviews.org
… Automated planning has been used in several real-world … at the International Conference
on Automated Planning and … in both robotics and automated planning—Shakey the robot (23). …
on Automated Planning and … in both robotics and automated planning—Shakey the robot (23). …
[HTML][HTML] Modelling automated planning problems for teams of mobile manipulators in a generic industrial scenario
SO Bezrucav, B Corves�- Applied Sciences, 2022 - mdpi.com
… which types of planning strategies and planning models are used is considered. This is
mainly differentiated between more flexible planning approaches such as automated planning [5]…
mainly differentiated between more flexible planning approaches such as automated planning [5]…
[PDF][PDF] IBaCoP-2018 and IBaCoP2-2018
… family of planning portfolios submitted to the International Planning … Conference on Automated
Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017…
Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017…
[PDF][PDF] A scheduling-based approach to multi-agent path finding with weighted and capacitated arcs
R Bart�k, J Švancara, M Vlk�- …�the 17th International Conference�…, 2018 - aamas.csc.liv.ac.uk
… After formally introducing the classical MAPF problem, we will propose a core scheduling
model … While the extension of the proposed scheduling-based model is straightforward for this …
model … While the extension of the proposed scheduling-based model is straightforward for this …
[PDF][PDF] Efficient Modelling and Reformulation of Planning Tasks
L Chrpa - 2020 - dspace.cvut.cz
… This thesis discusses techniques for automated planning task reformulation, namely
entanglements and macro-operators. Then, the thesis discusses a technique for manual encoding …
entanglements and macro-operators. Then, the thesis discusses a technique for manual encoding …
[PDF][PDF] Parsing-based Approaches for Verification and Recognition of Hierarchical Plans
R Bart�k, A Maillard, RC Cardoso - 2019 - icaps19.icaps-conference.org
… ; and Smith, SF, eds., Proceedings of the Twenty-Seventh International Conference … Automated
Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017…
Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017…
Machine learning meets quantitative planning: Enabling self-adaptation in autonomous robots
… checker via policy synthesis, enabling automated plan generation. A PRISM MDP model is
… and planning synthesis previously described, we need to embed them in a control loop [23] …
… and planning synthesis previously described, we need to embed them in a control loop [23] …
[PDF][PDF] Compressed Pattern Databases for Classical Planning
P Mafli - 2020 - ai.dmi.unibas.ch
… The main goal of Automated Planning is to find sequences of actions (… Proceedings of
the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS …
the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS …
Automated verification of social laws for continuous time multi-robot systems
… This work took a first step towards reasoning about social laws using automated planning,
by describing a formalism to represent social laws and a criteria for social law robustness, as …
by describing a formalism to represent social laws and a criteria for social law robustness, as …
Solving concurrent multiagent planning using classical planning
D Furelos Blanco, A Jonsson�- …�, editors. DMAP 2018. Proceedings�…, 2018 - repositori.upf.edu
… concurrent multiagent planning to classical planning, allowing us to use … Proceedings of
the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS …
the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS …