Validation and verification issues in a timeline-based planning system

Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci. Validation and verification issues in a timeline-based planning system. Knowledge Eng. Review, 25(3):299-318, 2010. [doi]

Abstract

Abstract is missing.