Merkliste 
 1 Ergebnisse 
 
1

Invariant Sets for Assume-Guarantee Contracts:

, In: 2022 IEEE 61st Conference on Decision and Control (CDC),