Self-Triggered Control to Guarantee Forward Pre-Invariance with Uniformly Positive Inter-Event Times. - David Kooi; Mohamed Maghenem; Ricardo G. Sanfelice (ACC, 2021)

From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET. - Anastasia Mavridou; Andreas Katis; Dimitra Giannakopoulou; David Kooi; Thomas Pressburger; Michael W. Whalen (FM, 2021)