Effective Synthesis of Asynchronous Systems from GR(1) Specifications

Uri Klein, Nir Piterman, Amir Pnueli. Effective Synthesis of Asynchronous Systems from GR(1) Specifications. In Viktor Kuncak, Andrey Rybalchenko, editors, Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings. Volume 7148 of Lecture Notes in Computer Science, pages 283-298, Springer, 2012. [doi]

Abstract

Abstract is missing.