TY  - RPRT
TI  - Contract Composition for Dynamical Control Systems: Definition and Verification using Linear Programming
AU  - Miel Sharf
AU  - Bart Besselink
AU  - Karl Henrik Johansson
PY  - 2022
UR  - https://arxiv.org/abs/2211.01298
ID  - 2211.01298
ER  -