Symbolic Synthesis for Epistemic Specifications with Observational Semantics.

Xiaowei Huang, Ron van der Meyden

Browse the full TACAS paper archive.