9 citations · 38 across the 15 of their papers we have counts for
7 papers · 1 filter
Optimizing Epistemic Model Checking using Conditional Independence
Ron van der Meyden
Conditional independence reasoning has been shown to be helpful in the context of Bayesian nets to optimize probabilistic inference, and related techniques have been applied to spe…
The complexity of approximations for epistemic synthesis (extended abstract)
Xiaowei Huang, Ron van der Meyden
Epistemic protocol specifications allow programs, for settings in which multiple agents act with incomplete information, to be described in terms of how actions are related to what…
Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic
Ron van der Meyden, Manas K. Patra
We investigate the decidability of model-checking logics of time, knowledge and probability, with respect to two epistemic semantics: the clock and synchronous perfect recall seman…
An Epistemic Strategy Logic
Xiaowei Huang, Ron van der Meyden
This paper presents an extension of temporal epistemic logic with operators that quantify over agent strategies. Unlike previous work on alternating temporal epistemic logic, the s…
An Epistemic Strategy Logic (Extended Abstract)
Xiaowei Huang, Ron van der Meyden
The paper presents an extension of temporal epistemic logic with operators that quantify over strategies. The language also provides a natural way to represent what agents would kn…
Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics
X. Huang, R. van der Meyden
This paper deals with the automated synthesis of implementations of knowledge-based programs with respect to two synchronous semantics (clock and synchronous perfect recall). An ap…
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Omar I. Al-Bataineh, Ron van der Meyden
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…