Andrade, Jefferson.
" Formal Verification of Epistemic States with Uncertainty in Multi-Agent Systems" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (3 dezembro 2025)