Explore projects

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

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