Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited.

Meng Wu, Haibo Zeng, Chao Wang, Huafeng Yu

Browse the full DAC paper archive.