Andrade, J.
2025 dez  3.  Formal Verification of Epistemic States with Uncertainty in Multi-Agent Systems. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :