Alireza Partovi, Hai Lin. Assume-guarantee cooperative satisfaction of multi-agent systems. In American Control Conference, ACC 2014, Portland, OR, USA, June 4-6, 2014. pages 2053-2058, IEEE, 2014. [doi]
@inproceedings{PartoviL14,
title = {Assume-guarantee cooperative satisfaction of multi-agent systems},
author = {Alireza Partovi and Hai Lin},
year = {2014},
doi = {10.1109/ACC.2014.6859441},
url = {http://dx.doi.org/10.1109/ACC.2014.6859441},
researchr = {https://researchr.org/publication/PartoviL14},
cites = {0},
citedby = {0},
pages = {2053-2058},
booktitle = {American Control Conference, ACC 2014, Portland, OR, USA, June 4-6, 2014},
publisher = {IEEE},
isbn = {978-1-4799-3272-6},
}