Felipe Pereira, Pedro Rezende, and Cid Souza. 2022. A Computational Study of the Perfect Awareness Problem. In Anais do XXXV Concurso de Teses e Dissertações, julho 31, 2022, Niterói, Brasil. SBC, Porto Alegre, Brasil, 140-149. DOI: https://doi.org/10.5753/ctd.2022.222955.