Explore projects

This repo contains a PDDL-based planning system for ROS2.

Copy from the original project done by Christopher Rakotondratsima and Kristen Courtois during their internship.

Diades is a collection of academic tools that deal with the problem of discrete event systems.