Scholarly publication
Formal Verification of Epistemic States with Uncertainty in Multi-Agent Systems
Overview
The chapter introduces GEAK, a generalization of bilattice-based dynamic epistemic logic, with formal semantics and a model checker for multi-agent systems under uncertainty.