Brian Wheatman, Jerry Chen, Tamim Sookoor, Yair Amir. RADICS: Runtime Assurance of Distributed Intelligent Control Systems. In 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2021, Taipei, Taiwan, June 21-24, 2021. pages 182-187, IEEE, 2021. [doi]
Abstract is missing.