Bloem, Roderick; Jobstmann, Barbara; Piterman, Nir; Pnueli, Amir; Sa’ar, Yaniv Synthesis of Reactive(1) designs. (English) Zbl 1247.68050 J. Comput. Syst. Sci. 78, No. 3, 911-938 (2012). MSC: 68N30 03B44 03B70 91A80 PDFBibTeX XMLCite \textit{R. Bloem} et al., J. Comput. Syst. Sci. 78, No. 3, 911--938 (2012; Zbl 1247.68050) Full Text: DOI
Klein, Uri; Piterman, Nir; Pnueli, Amir Effective synthesis of asynchronous systems from GR(1) specifications. (English) Zbl 1326.68186 Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 283-298 (2012). MSC: 68Q60 PDFBibTeX XMLCite \textit{U. Klein} et al., Lect. Notes Comput. Sci. 7148, 283--298 (2012; Zbl 1326.68186) Full Text: DOI Link
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y. From liveness to promptness. (English) Zbl 1192.68416 Form. Methods Syst. Des. 34, No. 2, 83-103 (2009). MSC: 68Q45 03B44 68T27 PDFBibTeX XMLCite \textit{O. Kupferman} et al., Form. Methods Syst. Des. 34, No. 2, 83--103 (2009; Zbl 1192.68416) Full Text: DOI