On the Minimal Revision Problem of Specification Automata. Kim, K., Fainekos, G. E., & Sankaranarayanan, S. CoRR, 2014.
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
{"_id":"ZiuH8cok67zNnQaav","bibbaseid":"kim-fainekos-sankaranarayanan-ontheminimalrevisionproblemofspecificationautomata-2014","downloads":0,"creationDate":"2015-10-19T18:43:42.195Z","title":"On the Minimal Revision Problem of Specification Automata","author_short":["Kim, K.","Fainekos, G. E.","Sankaranarayanan, S."],"year":2014,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/KimFS14","bibdata":{"title":"On the Minimal Revision Problem of Specification Automata","author":["Kangjin Kim","Georgios E. Fainekos","Sriram Sankaranarayanan"],"author_short":["Kim, K.","Fainekos, G. E.","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)","bibtex":"@article{ dblp1836064,\n title = {On the Minimal Revision Problem of Specification Automata},\n author = {Kangjin Kim and Georgios E. Fainekos and Sriram Sankaranarayanan},\n author_short = {Kim, K. and Fainekos, G. E. and Sankaranarayanan, S.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp1836064},\n id = {dblp1836064},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/KimFS14},\n url = {http://arxiv.org/abs/1404.2289},\n journal = {CoRR},\n volume = {abs/1404.2289},\n text = {CoRR abs/1404.2289 (2014)}\n}","bibbaseid":"kim-fainekos-sankaranarayanan-ontheminimalrevisionproblemofspecificationautomata-2014","role":"author","urls":{"Paper":"http://arxiv.org/abs/1404.2289"},"downloads":0},"search_terms":["minimal","revision","problem","specification","automata","kim","fainekos","sankaranarayanan"],"keywords":[],"authorIDs":[],"dataSources":["sYtQkhvH4aJCXbjt8"]}