Kappé, T; Arbab, F; Talcott, C; (2016) A Compositional Framework for Preference-Aware Agents. In: Kargahi, M and Trivedi, A, (eds.) Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems. (pp. pp. 21-35). Open Publishing Association
https://ift.tt/2TjVIY3
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου