Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar. Synthesis of Reactive(1) designs. J. Comput. Syst. Sci., 78(3):911-938, 2012. [doi]
@article{BloemJPPS12,
title = {Synthesis of Reactive(1) designs},
author = {Roderick Bloem and Barbara Jobstmann and Nir Piterman and Amir Pnueli and Yaniv Sa'ar},
year = {2012},
doi = {10.1016/j.jcss.2011.08.007},
url = {http://dx.doi.org/10.1016/j.jcss.2011.08.007},
researchr = {https://researchr.org/publication/BloemJPPS12},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {911-938},
}