Achieving Runtime State Verification Assurance in Critical Cyber-Physical Infrastructures

Abel O. Gomez Rivera, Deepak K. Tosh, Sachin Shetty. Achieving Runtime State Verification Assurance in Critical Cyber-Physical Infrastructures. In IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2021, Aachen, Germany, October 25-28, 2021. pages 245-251, IEEE, 2021. [doi]

Abstract

Abstract is missing.