Macilio Ferreira, Maria Viviane Menezes, and Leliane de Barros. 2018. Plan Existence Verification as Symbolic Model Checking. In Anais do XV Encontro Nacional de Inteligência Artificial e Computacional, outubro 22, 2018, São Paulo, Brasil. SBC, Porto Alegre, Brasil, 116-127. DOI: https://doi.org/10.5753/eniac.2018.4409.