@string{jan="January"} @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}, pdf = {2010/CBDPU17.pdf}, OPTurl = {2010/CHP10.html}, OPTmonth = jan, keywords = {Synthesis,Games,Model Driven Development}, }