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