J. Andrade.
" Formal Verification of Epistemic States with Uncertainty in Multi-Agent Systems", in <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, Recife/PE, 2025, pp. 82-97.