Follow
Composition and Merging of Assume-Guarantee Contracts Are Tensor Products https://arxiv.org/abs/2405.06052 #eess.SY #cs.LO #cs.SY
Composition and Merging of Assume-Guarantee Contracts Are Tensor Products https://arxiv.org/abs/2405.06052 #eess.SY #cs.LO #cs.SY