Synthesis of Reactive(1) Designs

Bloem, R.; Jobstmann, B.; Piterman, N.; Pnueli, A.; Sa'ar, Y.

Synthesis of Reactive(1) Designs (bibtex)

@string{may="May"}
@Article{BJPPS12,
  author = 	 {R. Bloem and B. Jobstmann and N. Piterman and A. Pnueli and Y. Sa'ar}, 
  title = 	 {Synthesis of Reactive(1) Designs},
  journal = 	 {Journal of Computer and System Sciences, Special Issue in Memory of Amir Pneuli},
  year = 	 {2012},
  volume = 	 {78},
  number = 	 {3},
  pages = 	 {911-938},
  month = 	 may,
  pdf = {2012/BJPPS12.pdf},
  OPTurl = {2012/},  
  note = 	 {Full version of {VMCAI06}, {DATE07}, and {COCV07} papers},
  keywords =     {Synthesis,Games},
}