Ferreira, Macilio, 		Menezes, Maria Viviane, AND 		de Barros, Leliane.
" Plan Existence Verification as Symbolic Model Checking" <em>Proceedings of the National Meeting on Artificial and Computational Intelligence (ENIAC)</em> [Online], (22 October 2018)