Contaldo Francesco

Latest

• Optimization of a compiler from PDDL to Picat (Short Paper)