A Girard,
A Iovine, S Benberkane - 2022 IEEE 61st Conference …, 2022 - ieeexplore.ieee.org
Contract theory is a powerful tool to reason on systems that are interacting with an external
environment, possibly made of other systems. Formally, a contract is usually given by …