Project course of Automated Planning, Theory and Practice at University of Trento.
This project investigates the modeling of planning problems using PDDL and HDDL, with planner execution facilitated through planutils [1] and Panda [2]. The implementation progresses from foundational classical planning to temporal planning, culminating in robotic system integration via PlanSys2 [3]. Key challenges addressed include the modeling of limited resources, multi agent coordination, and compatibility with robotic execution frameworks.
More info in the report:
Click to download report
Instructions are in healthcare_scenario.
├── assignment.pdf
├── healthcare_scenario
│ ├── appendix
│ │ ├── requirements_comparison
│ │ ├── scalability
│ │ └── test
│ ├── problem_1
│ │ ├── Dockerfile
│ │ ├── domain.pddl
│ │ ├── imgs
│ │ ├── Makefile
│ │ ├── problem.pddl
│ │ ├── scalability1.pddl
│ │ ├── scalability2.pddl
│ │ ├── scalability3.pddl
│ │ ├── tests
│ │ └── TEST_SUITES.md
│ ├── problem_2
│ │ ├── domain.pddl
│ │ ├── imgs
│ │ ├── Makefile
│ │ ├── problem.pddl
│ │ ├── scalability1.pddl
│ │ ├── scalability2.pddl
│ │ ├── scalability3.pddl
│ │ ├── tests
│ │ └── TEST_SUITES.md
│ ├── problem_3
│ │ ├── Dockerfile
│ │ ├── domain.hddl
│ │ ├── imgs
│ │ ├── Makefile
│ │ ├── problem.hddl
│ │ ├── problem_simple.hddl
│ │ ├── scalability1.hddl
│ │ ├── scalability2.hddl
│ │ ├── scalability3.hddl
│ │ └── tests
│ ├── problem_4
│ │ ├── domain.pddl
│ │ ├── Makefile
│ │ ├── problem.pddl
│ │ ├── scalability1.pddl
│ │ ├── scalability2.pddl
│ │ ├── scalability3.pddl
│ │ ├── tests
│ │ └── TEST_SUITES.md
│ └── problem_5
│ ├── CMakeLists.txt
│ ├── dependency_repos.repos
│ ├── Dockerfile
│ ├── imgs
│ │ ├── problem_5.drawio
│ │ ├── problem_5.svg
│ │ ├── problem_done.png
│ │ └── problem_run.png
│ ├── package.xml
│ ├── pddl
│ │ └── domain.pddl
│ ├── problem
│ ├── problem_fly
│ ├── problem_simple
│ ├── src
│ └── tmux_session.sh
├── LICENSE
└── report