A theory of robust omega-regular software synthesis

Rupak Majumdar, Elaine Render, Paulo Tabuada. A theory of robust omega-regular software synthesis. ACM Trans. Embedded Comput. Syst., 13(3):48, 2013. [doi]

Abstract

Abstract is missing.