Merkliste 
 1 Ergebnisse 
 
1

Logical Zonotopes: A Set Representation for the Formal Veri..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Alanwar, Amr ; Jiang, Frank J. ; Amin, Samy. - p. 60-66 , 2023