Pereira, F., Rezende, P., & Souza, C. (2022). A Computational Study of the Perfect Awareness Problem. In Anais do XXXV Concurso de Teses e Dissertações, (pp. 140-149). Porto Alegre: SBC. doi:10.5753/ctd.2022.222955