TY  - RPRT
TI  - An Optimization Approach to Verifying and Synthesizing K-Cooperative Systems
AU  - Dimitris Kousoulidis
AU  - Fulvio Forni
PY  - 2020
UR  - https://arxiv.org/abs/1911.07796
ID  - 1911.07796
ER  -