A Modular Architecture for Hybrid Planning with Theories
COLIN: Planning with Continuous Linear Numeric Change