@Inproceedings{EPTCS232.6, author = {Kapp\'e, Tobias and Arbab, Farhad and Talcott, Carolyn}, year = {2016}, title = {A Compositional Framework for Preference-Aware Agents}, editor = {Kargahi, Mehdi and Trivedi, Ashutosh}, booktitle = {{\rm Proceedings of the The First Workshop on} Verification and Validation of Cyber-Physical Systems, {\rm Reykjav\'ik, Iceland, June 4-5, 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {232}, publisher = {Open Publishing Association}, pages = {21-35}, doi = {10.4204/EPTCS.232.6}, }