Marco Roveri's repositories
aaltaf-uc
Unsatisfiable core for LTLF
esercitazioni-prgm1-unitn
Esercizi svolti per il corso di Programmazione I (UniversitĂ degli Studi di Trento)
esercitazioni-prgm1-unitn-2020
Esercizi svolti per il corso di Programmazione I (UniversitĂ degli Studi di Trento)
heuristic-planning
Automated Planning Assignment Template
icaps2022.github.io
Website for ICAPS 2022
icaps2023.github.io
Web for the ICAPS 2023 conference in Prague
pddl-parser
:snake: Classical Planning in Python
planutils
General library for setting up linux-based environments for developing, running, and evaluating planners.
ros2_planning_system
This repo contains a PDDL-based planning system for ROS2.
ROSPlan
The ROSPlan framework provides a generic method for task planning in a ROS system.
safe-planner
A Single-Outcome Replanner for Computing Strong Cyclic Solutions in Fully Observable Non-Deterministic Domains
singularity-deploy
Build and deploy Singularity containers to GitHub releases, and pull with the singularity-hpc client
unified-planning
The AIPlan4EU Unified Planning Library