Synthesis of Reactive(1) designs

authors: Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar

venue (journal): Journal of Computer and System Sciences

date: 2012

specification languages

• GR(1)

keywords

synthesis

URL

• https://dx.doi.org/10.1016/j.jcss.2011.08.007 (auto-generated link)

BibTeX

@article{7ca9eb32-ce6e-4650-bfba-3622a4ceb351,
  title = {Synthesis of Reactive(1) designs},
  author = {Roderick Bloem AND Barbara Jobstmann AND Nir Piterman AND Amir Pnueli AND Yaniv Sa'ar},
  year = {2012},
  journal = {Journal of Computer and System Sciences},
}