FERREIRA, Macilio da Silva; 						MENEZES, Maria Viviane; 						DE BARROS, Leliane Nunes.
 Plan Existence Verification as Symbolic Model Checking. <em>In</em>: ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC), 15.	, 2018, São Paulo.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2018
.
 p. 116-127. 
			ISSN 2763-9061. 
		DOI: <a href="https://doi.org/10.5753/eniac.2018.4409">https://doi.org/10.5753/eniac.2018.4409</a>.