Meng Wu, Haibo Zeng, Chao Wang, Huafeng Yu. Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited. In Proceedings of the 54th Annual Design Automation Conference, DAC 2017, Austin, TX, USA, June 18-22, 2017. ACM, 2017. [doi]
Abstract is missing.