Publicação científica
Formal Verification of Epistemic States with Uncertainty in Multi-Agent Systems
Síntese
O capítulo apresenta GEAK, uma generalização da lógica epistêmica dinâmica baseada em birreticulados, acompanhada de uma semântica formal e de um verificador de modelos para sistemas multiagentes sob incerteza.