“Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals”

CM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, Volume 22, Number 1, page art. 9 - feb 2013
Download the publication : Synthesizing Nonanomalous Event-Based Controllers for Liveness.pdf [584Ko]  

BibTex references

@Article\{DBPU13,
  author       = "D´Ippolito, Nicolas and Braberman, V\'{\i}ctor and Piterman, Nir and Uchitel, Sebastian",
  title        = "“Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals”",
  journal      = "CM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY",
  number       = "1",
  volume       = "22",
  pages        = "art. 9",
  month        = "feb",
  year         = "2013",
  publisher    = "ACM",
  url          = "http://publicaciones.dc.uba.ar/Publications/2013/DBPU13"
}

Other publications in the database

» Nicolas D´Ippolito
» Víctor Braberman
» Nir Piterman
» Sebastian Uchitel