Plan existence verification as symbolic model checking
Macilio da Silva Ferreira Maria Viviane Menezes; Leliane Nunes de Barros; Brazilian Conference on Intelligent Systems - BRACIS (7. 2018 São Paulo); Encontro Nacional de Inteligência Artificial e Computacional - ENIAC (15. 2018 São Paulo)
Proceedings Porto Alegre : SBC, 2018
Porto Alegre SBC 2018
Localização:
IME - Inst. Matemática e Estatística
(PROD-2917900 )(Acessar)