@InProceedings{DBPU12,
  author = 	 {N. D'Ippolito and V. Braberman and N. Piterman and S. Uchitel},
  title = 	 {The Modal Transition System Control Problem},
  booktitle = {19th International Symposium on Formal Methods},
  pages = 	 {155-170},
  year = 	 {2012},
  volume = 	 {7436},
  series = 	 {<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>},
  address = 	 {Paris, France},
  publisher = {&copy; Springer-Verlag},
  url_Paper = {2012/DBPU12.pdf},
  keywords = {Synthesis,Model Driven Development,Games},
}

{"_id":"suNzD8oYGeMznG8aZ","bibbaseid":"dippolito-braberman-piterman-uchitel-themodaltransitionsystemcontrolproblem-2012","authorIDs":["2PC6w3z2uZxPiE7iL","8thReCRmKkgSA7o93","BFjWrsKhtJwcChPA5","DaYiAfQymmupoWdws","QbTA6fjNucC4FkzQY","RNZenG6M7dmLAB8sS","cpxQ4vpGKDSrXSiBD","guLfsi5DzhAtdupEd","nT2YWxpsrENZQnneX","xS5K7WpvHmKW27SLd"],"author_short":["D'Ippolito, N.","Braberman, V.","Piterman, N.","Uchitel, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["N."],"propositions":[],"lastnames":["D'Ippolito"],"suffixes":[]},{"firstnames":["V."],"propositions":[],"lastnames":["Braberman"],"suffixes":[]},{"firstnames":["N."],"propositions":[],"lastnames":["Piterman"],"suffixes":[]},{"firstnames":["S."],"propositions":[],"lastnames":["Uchitel"],"suffixes":[]}],"title":"The Modal Transition System Control Problem","booktitle":"19th International Symposium on Formal Methods","pages":"155-170","year":"2012","volume":"7436","series":"<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>","address":"Paris, France","publisher":"&copy; Springer-Verlag","url_paper":"2012/DBPU12.pdf","keywords":"Synthesis,Model Driven Development,Games","bibtex":"@InProceedings{DBPU12,\n author = \t {N. D'Ippolito and V. Braberman and N. Piterman and S. Uchitel},\n title = \t {The Modal Transition System Control Problem},\n booktitle = {19th International Symposium on Formal Methods},\n pages = \t {155-170},\n year = \t {2012},\n volume = \t {7436},\n series = \t {<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>},\n address = \t {Paris, France},\n publisher = {&copy; Springer-Verlag},\n url_Paper = {2012/DBPU12.pdf},\n keywords = {Synthesis,Model Driven Development,Games},\n}\n\n\n","author_short":["D'Ippolito, N.","Braberman, V.","Piterman, N.","Uchitel, S."],"key":"DBPU12","id":"DBPU12","bibbaseid":"dippolito-braberman-piterman-uchitel-themodaltransitionsystemcontrolproblem-2012","role":"author","urls":{" paper":"http://www.cse.chalmers.se/~piterman/publications/2012/DBPU12.pdf"},"keyword":["Synthesis","Model Driven Development","Games"],"metadata":{"authorlinks":{"piterman, n":"https://www.cse.chalmers.se/"}}},"bibtype":"inproceedings","biburl":"http://www.cse.chalmers.se/~piterman/publications/publications.bib","creationDate":"2020-05-20T12:56:32.369Z","downloads":0,"keywords":["synthesis","model driven development","games"],"search_terms":["modal","transition","system","control","problem","d'ippolito","braberman","piterman","uchitel"],"title":"The Modal Transition System Control Problem","year":2012,"dataSources":["dBCbAowrXBj8Z9xpg"]}