Planning meets verification and validation in a knowledge engineering environment

Cite this paper

@article{Orlandini2014PlanningMV, title={Planning meets verification and validation in a knowledge engineering environment}, author={Andrea Orlandini and Giulio Bernardi and Amedeo Cesta and Alberto Finzi}, journal={Intelligenza Artificiale}, year={2014}, volume={8}, pages={87-100} }