On the Minimal Revision Problem of Specification Automata. Kim, K., Fainekos, G. E., & Sankaranarayanan, S. CoRR, 2014.
On the Minimal Revision Problem of Specification Automata [link]Paper  bibtex   
@article{ dblp1836064,
  title = {On the Minimal Revision Problem of Specification Automata},
  author = {Kangjin Kim and Georgios E. Fainekos and Sriram Sankaranarayanan},
  author_short = {Kim, K. and Fainekos, G. E. and Sankaranarayanan, S.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp1836064},
  id = {dblp1836064},
  biburl = {http://www.dblp.org/rec/bibtex/journals/corr/KimFS14},
  url = {http://arxiv.org/abs/1404.2289},
  journal = {CoRR},
  volume = {abs/1404.2289},
  text = {CoRR abs/1404.2289 (2014)}
}

Downloads: 0