Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics.

Xiaowei Huang, Ron van der Meyden

Browse the full TARK paper archive.