Formal Methods

Research Frontiers in Epistemic Logic for Multi-Agent Knowledge and Coordination

Application of epistemic temporal logics to formally verify knowledge-dependent behaviors and coordination protocols in distributed multi-agent systems.

All Formal Methods PhD categories