Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals

D'Ippolito, N.; Braberman, V.; Piterman, N.; Uchitel, S.

Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals (bibtex)

@string{tosem="Transactions on Software Engineering and Methodology"}
@Article{DBPU13,
  author = 	 {N. D'Ippolito and V. Braberman and N. Piterman and S. Uchitel},
  title        = {Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals},
  journal      = tosem,
  year         = {2013},
  publisher    = acm,
  volume = 	 {22},
  number = 	 {1},
  pages = 	 {9},
  pdf = {2013/DBPU13.pdf},
  keywords = {Synthesis,Model Driven Development},
}