Pinned Repositories
aaltaf-uc
Unsatisfiable core for LTLF
colin2
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
ltlfuc
OMTNPlan
A python framework for Optimal Planning Modulo Theories
optic
popf
popf
tfd
Original version from: http://gki.informatik.uni-freiburg.de/tools/tfd/
roveri-marco's Repositories
roveri-marco/optic
roveri-marco/popf
popf
roveri-marco/ltlfuc
roveri-marco/OMTNPlan
A python framework for Optimal Planning Modulo Theories
roveri-marco/tfd
Original version from: http://gki.informatik.uni-freiburg.de/tools/tfd/
roveri-marco/aaltaf-uc
Unsatisfiable core for LTLF
roveri-marco/colin2
roveri-marco/esercitazioni-prgm1-unitn
Esercizi svolti per il corso di Programmazione I (Università degli Studi di Trento)
roveri-marco/esercitazioni-prgm1-unitn-2020
Esercizi svolti per il corso di Programmazione I (Università degli Studi di Trento)
roveri-marco/heuristic-planning
Automated Planning Assignment Template
roveri-marco/icaps2022.github.io
Website for ICAPS 2022
roveri-marco/icaps2023.github.io
Web for the ICAPS 2023 conference in Prague
roveri-marco/latex-moodle
roveri-marco/numeric-fast-downward
roveri-marco/parallel-pdr
roveri-marco/pddl-parser
:snake: Classical Planning in Python
roveri-marco/plansys2_tfd_plan_solver
roveri-marco/planutils
General library for setting up linux-based environments for developing, running, and evaluating planners.
roveri-marco/ros2_planning_system
This repo contains a PDDL-based planning system for ROS2.
roveri-marco/ROSPlan
The ROSPlan framework provides a generic method for task planning in a ROS system.
roveri-marco/safe-planner
A Single-Outcome Replanner for Computing Strong Cyclic Solutions in Fully Observable Non-Deterministic Domains
roveri-marco/singularity-deploy
Build and deploy Singularity containers to GitHub releases, and pull with the singularity-hpc client
roveri-marco/unified-planning
The AIPlan4EU Unified Planning Library