Plan existence verification as symbolic model checking (2018)
Ferreira, Macilio da Silva; Menezes, Maria Viviane; Barros, Leliane Nunes de 
Fonte: Proceedings. Nome do evento: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Assuntos: INTELIGÊNCIA ARTIFICIAL, ALGORITMOS PARA PROCESSAMENTO, PROGRAMAÇÃO HEURÍSTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERREIRA, Macilio da Silva e MENEZES, Maria Viviane e BARROS, Leliane Nunes de. Plan existence verification as symbolic model checking. 2018, Anais.. Porto Alegre: SBC, 2018. Disponível em: https://doi.org/10.5753/eniac.2018.4409. Acesso em: 12 nov. 2025.APA
Ferreira, M. da S., Menezes, M. V., & Barros, L. N. de. (2018). Plan existence verification as symbolic model checking. In Proceedings. Porto Alegre: SBC. doi:10.5753/eniac.2018.4409NLM
Ferreira M da S, Menezes MV, Barros LN de. Plan existence verification as symbolic model checking [Internet]. Proceedings. 2018 ;[citado 2025 nov. 12 ] Available from: https://doi.org/10.5753/eniac.2018.4409Vancouver
Ferreira M da S, Menezes MV, Barros LN de. Plan existence verification as symbolic model checking [Internet]. Proceedings. 2018 ;[citado 2025 nov. 12 ] Available from: https://doi.org/10.5753/eniac.2018.4409
