Zhiheng Xu, Daniel Jun Xian Ng, Arvind Easwaran. Automatic Generation of Hierarchical Contracts for Resilience in Cyber-Physical Systems. In 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2019, Hangzhou, China, August 18-21, 2019. pages 1-11, IEEE, 2019. [doi]
Abstract is missing.