David Kooi

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Automatic Analysis

Positive And Negative

Event Detection

Control Problems

Top Venues

Publications

Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen
From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET. FM (2021)
David Kooi, Mohamed Maghenem, Ricardo G. Sanfelice
Self-Triggered Control to Guarantee Forward Pre-Invariance with Uniformly Positive Inter-Event Times. ACC (2021)