8 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.LO2016★ 1 cited
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…
cs.LO2014★ 8 cited
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…