1. On the synthesis of an asynchronous reactive module;Pnueli,1989
2. On the synthesis of a reactive module;Pnueli,1989
3. The temporal logic of programs;Pnueli,1977
4. The 4th reactive synthesis competition (SYNTCOMP 2017): benchmarks, participants & results;Jacobs,2017
5. Bounded synthesis;Finkbeiner;Int. J. Softw. Tools Technol. Transf.,2013