Sciweavers

CORR
2010
Springer
158views Education» more  CORR 2010»
13 years 11 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
PODC
1995
ACM
14 years 3 months ago
Knowledge-Based Programs
We show how solution concepts in games such as Nash equilibrium, correlated equilibrium, rationalizability, and sequential equilibrium can be given a uniform definition in terms ...
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Mosh...