8 citations · 14 across the 4 of their papers we have counts for
1 paper · 1 filter
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…