Proactive Real-Time First-Order Enforcement.

Franois Hublet, Leonardo Lima, David A. Basin, Srdan Krstic, Dmitriy Traytel

Browse the full CAV paper archive.