Andrade, J.
(2025).
 Formal Verification of Epistemic States with Uncertainty in Multi-Agent Systems.
In <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, (pp. 82-97). Porto Alegre: SBC.