@Article{CBDPU17,
  author = 	 {D. Ciolek and N. D'Ippolito and V. Braberman and N. Piterman and S. Uchitel},
  title = 	 {Interaction Models and Automated Control under Partial Observable Environments},
  journal =   {IEEE Transactions on Software Engineering},
  year = {2017},
  volume = {43},
  number = {1},
  pages =  {19-33},
  url_Paper = {2017/CBDPU17.pdf},
  keywords = {Synthesis,Games,Model Driven Development},
}

{"_id":"MjBdTKMZrmuJjamto","bibbaseid":"ciolek-dippolito-braberman-piterman-uchitel-interactionmodelsandautomatedcontrolunderpartialobservableenvironments-2017","author_short":["Ciolek, D.","D'Ippolito, N.","Braberman, V.","Piterman, N.","Uchitel, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["D."],"propositions":[],"lastnames":["Ciolek"],"suffixes":[]},{"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":"Interaction Models and Automated Control under Partial Observable Environments","journal":"IEEE Transactions on Software Engineering","year":"2017","volume":"43","number":"1","pages":"19-33","url_paper":"2017/CBDPU17.pdf","keywords":"Synthesis,Games,Model Driven Development","bibtex":"@Article{CBDPU17,\n author = \t {D. Ciolek and N. D'Ippolito and V. Braberman and N. Piterman and S. Uchitel},\n title = \t {Interaction Models and Automated Control under Partial Observable Environments},\n journal = {IEEE Transactions on Software Engineering},\n year = {2017},\n volume = {43},\n number = {1},\n pages = {19-33},\n url_Paper = {2017/CBDPU17.pdf},\n keywords = {Synthesis,Games,Model Driven Development},\n}\n\n","author_short":["Ciolek, D.","D'Ippolito, N.","Braberman, V.","Piterman, N.","Uchitel, S."],"key":"CBDPU17","id":"CBDPU17","bibbaseid":"ciolek-dippolito-braberman-piterman-uchitel-interactionmodelsandautomatedcontrolunderpartialobservableenvironments-2017","role":"author","urls":{" paper":"http://www.cse.chalmers.se/~piterman/publications/2017/CBDPU17.pdf"},"keyword":["Synthesis","Games","Model Driven Development"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.cse.chalmers.se/~piterman/publications/publications.bib","dataSources":["dBCbAowrXBj8Z9xpg"],"keywords":["synthesis","games","model driven development"],"search_terms":["interaction","models","automated","control","under","partial","observable","environments","ciolek","d'ippolito","braberman","piterman","uchitel"],"title":"Interaction Models and Automated Control under Partial Observable Environments","year":2017}