@string{ieeepress="© IEEE press"} @InProceedings{DBPU14, author = {N. D'Ippolito and V. Braberman and N. Piterman and S. Uchitel}, title = {Controllability in Partial and Uncertain Environments}, booktitle = {14th International Conference on Application of Concurrency to System Design}, pages = {52--61}, year = {2014}, address = {Tunis, Tunisia}, publisher = ieeepress, keywords = {Synthesis}, pdf = {2014/DBPU14.pdf}, }